Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Ionut Biru (wonder)
Jan Alexander Steffens (heftig)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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

Loading...