** Changed in: gedit-plugins
Importance: Unknown => Low
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is the registrant for gedit-plugins.
--
desktop-bugs mailing list
des
** Changed in: gedit-plugins
Status: New => Fix Released
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is the registrant for gedit-plugins.
--
desktop-bugs mailing lis
Excellent work, Kurt!
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is the registrant for gedit-plugins.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://li
** Changed in: gedit-plugins
Status: Unknown => New
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is the registrant for gedit-plugins.
--
desktop-bugs mailing list
des
** Bug watch added: GNOME Bug Tracker #551027
http://bugzilla.gnome.org/show_bug.cgi?id=551027
** Also affects: gedit-plugins via
http://bugzilla.gnome.org/show_bug.cgi?id=551027
Importance: Unknown
Status: Unknown
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/
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 PROTECTED]> to let the terminal plugin use
the right gconf key. (LP: #
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
** Changed in: gedit-plugins (Ubuntu)
Status: New => Confirmed
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gedit-plugins in ubuntu.
--
desktop-bugs
Applied Sevenissimo's patch in this debdiff.
** Attachment added: "gedit-plugins.debdiff"
http://launchpadlibrarian.net/17292095/gedit-plugins.debdiff
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ub
** Attachment added: "Simple Patch for debian/patches"
http://launchpadlibrarian.net/10107421/01_terminal_correct_gconf_key
--
Embedded Terminal: wrong gconf key
https://bugs.launchpad.net/bugs/155327
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is
10 matches
Mail list logo