FS#37345 - [gedit-plugins] terminal plugin not working
Attached to Project:
Community Packages
Opened by Antonio Vázquez Blanco (antoniovazquezblanco) - Tuesday, 15 October 2013, 06:41 GMT
Last edited by Balló György (City-busz) - Tuesday, 17 December 2013, 18:10 GMT
Opened by Antonio Vázquez Blanco (antoniovazquezblanco) - Tuesday, 15 October 2013, 06:41 GMT
Last edited by Balló György (City-busz) - Tuesday, 17 December 2013, 18:10 GMT
|
Details
Description:
Gedit terminal plugin not working. Additional info: * Latest * Terminal log: $ gedit Traceback (most recent call last): File "/usr/lib/gedit/plugins/terminal.py", line 311, in do_activate self._panel = GeditTerminalPanel() File "/usr/lib/gedit/plugins/terminal.py", line 190, in __init__ self.add_terminal() File "/usr/lib/gedit/plugins/terminal.py", line 193, in add_terminal self._vte = GeditTerminal() File "/usr/lib/gedit/plugins/terminal.py", line 48, in __init__ self.set_background_image(None) AttributeError: 'GeditTerminal' object has no attribute 'set_background_image' Steps to reproduce: Enable the plugin and try to open gedit. Quick fix until real fix is released: -Comment lines 48 and 49 in /usr/lib/gedit/plugins/terminal.py |
This task depends upon
Closed by Balló György (City-busz)
Tuesday, 17 December 2013, 18:10 GMT
Reason for closing: Fixed
Additional comments about closing: gedit-plugins 3.10.1-1
Tuesday, 17 December 2013, 18:10 GMT
Reason for closing: Fixed
Additional comments about closing: gedit-plugins 3.10.1-1