Ubuntu
gedit-plugins package

Embedded Terminal: wrong gconf key

Bug #155327 reported by Sevenissimo
6
Affects Status Importance Assigned to Milestone
gedit-plugins
Fix Released
Low
gedit-plugins (Ubuntu)
Fix Released
Undecided
Unassigned

Bug Description

Binary package hint: gedit-plugins

Embedded Terminal Plugin already try to comply Gnome Terminal style,
but fails takin' wrong gconf key (about font name).

"/desktop/gnome/interface/monospace_font" does not exist,
should instead use:
"/desktop/gnome/interface/monospace_font_name".

Revision history for this message
Sevenissimo (seven.issimo) wrote :
Revision history for this message
Kurt Litsch (kurt.litsch) wrote :

Applied Sevenissimo's patch in this debdiff.

Kurt Litsch (kurt.litsch)
Changed in gedit-plugins:
status: New → Confirmed
Revision history for this message
Daniel Holbach (dholbach) wrote :

Looks good, very minor nitpicks:
 - "Debian/patches" instead of "debian/patches" and that the
 - plugins/terminal/terminal.py change is directly in the patch (could be a CDBS glitch).

However it builds fine and seems all good, so I'll upload it.

Could you please see that the patch is forwarded upstream? https://wiki.ubuntu.com/Bugs/Upstream/GNOME should have more info about it.

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package gedit-plugins - 2.22.2-1ubuntu1

---------------
gedit-plugins (2.22.2-1ubuntu1) intrepid; urgency=low

  * Debian/patches/01_terminal_correct_gconf_key: add patch by
    Sevenissimo <email address hidden> to let the terminal plugin use
    the right gconf key. (LP: #155327)

 -- Kurt Litsch <email address hidden> Thu, 04 Sep 2008 14:31:26 -0500

Changed in gedit-plugins:
status: Confirmed → Fix Released
Bug Watch Updater (bug-watch-updater)
Changed in gedit-plugins:
status: Unknown → New
Revision history for this message
Daniel Holbach (dholbach) wrote :

Excellent work, Kurt!

Bug Watch Updater (bug-watch-updater)
Changed in gedit-plugins:
status: New → Fix Released
Bug Watch Updater (bug-watch-updater)
Changed in gedit-plugins:
importance: Unknown → Low
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.