After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 656082 - embedded terminal should use default profile
embedded terminal should use default profile
Status: RESOLVED FIXED
Product: gedit-plugins
Classification: Other
Component: General
3.0.x
Other Linux
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
: 657398 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2011-08-06 17:03 UTC by bsquared
Modified: 2019-03-23 20:49 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description bsquared 2011-08-06 17:03:04 UTC
The embedded terminal should use the default profile, but it does not.
> terminal.py line 34,35
> class GeditTerminal(Gtk.Box):
>    """VTE terminal which follows gnome-terminal default profile options"""

Additionally, use-theme-colors is set true. When set false the following error is raised.
> $ gedit
> Traceback (most recent call last):
>   File "/usr/lib/gedit/plugins/terminal.py", line 251, in do_activate
>     self._panel = GeditTerminal()
>   File "/usr/lib/gedit/plugins/terminal.py", line 59, in __init__
>     self.reconfigure_vte()
>   File "/usr/lib/gedit/plugins/terminal.py", line 129, in reconfigure_vte
>     parsed, fg = Gdk.RGBA().parse (fg_color)
> TypeError: 'bool' object is not iterable

My Settings:

> $ gsettings list-recursively org.gnome.gedit.plugins.terminal
> org.gnome.gedit.plugins.terminal allow-bold true
> org.gnome.gedit.plugins.terminal background-color '#FFFFDD'
> org.gnome.gedit.plugins.terminal cursor-blink-mode 'system'
> org.gnome.gedit.plugins.terminal cursor-shape 'block'
> org.gnome.gedit.plugins.terminal font 'Monospace 10'
> org.gnome.gedit.plugins.terminal foreground-color '#000000'
> snipped 8<
> org.gnome.gedit.plugins.terminal scrollback-lines 100
> org.gnome.gedit.plugins.terminal scrollback-on-keystroke true
> org.gnome.gedit.plugins.terminal scrollback-on-output false
> org.gnome.gedit.plugins.terminal scrollback-unlimited false
> org.gnome.gedit.plugins.terminal silent-bell true
> org.gnome.gedit.plugins.terminal use-system-font true
> org.gnome.gedit.plugins.terminal use-theme-colors false
> org.gnome.gedit.plugins.terminal word-chars '-A-Za-z0-9,./?%&#:_'

Regards,
Brian
Comment 1 Ignacio Casal Quinteiro (nacho) 2011-08-06 17:04:42 UTC
See that gnome-terminal doesn't use gsettings yet so this is not possible for now.
Comment 2 Ignacio Casal Quinteiro (nacho) 2011-08-06 17:09:19 UTC
btw I agree it shouldn't crash if we are not using theme colors.
Comment 3 Ignacio Casal Quinteiro (nacho) 2011-08-06 17:17:30 UTC
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.
Comment 4 Jean-Philippe Fleury 2011-08-26 17:13:21 UTC
*** Bug 657398 has been marked as a duplicate of this bug. ***
Comment 5 Jean-Philippe Fleury 2011-08-26 17:14:53 UTC
(In reply to comment #1)
> See that gnome-terminal doesn't use gsettings yet so this is not possible for
> now.

The report about migrate gnome-terminal to GSettings is bug 624856