[gedit-plugins] terminal: fix crash caused by removed gnome-terminal GSettings key
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] terminal: fix crash caused by removed gnome-terminal GSettings key
- Date: Wed, 11 Mar 2020 15:17:25 +0000 (UTC)
commit 71a34647f849782bb4d87e3016fe7a60909eebb2
Author: André Apitzsch <git apitzsch eu>
Date: Mon Mar 9 18:49:40 2020 +0100
terminal: fix crash caused by removed gnome-terminal GSettings key
The key has been removed from gnome-terminal by commit
https://gitlab.gnome.org/GNOME/gnome-terminal/-/commit/72dc2cf6972656da24f571d3bb314e17b73a7cf0.
Fixes #14.
plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml | 7 -------
plugins/terminal/terminal.py | 1 -
2 files changed, 8 deletions(-)
---
diff --git a/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
b/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
index 2aaaf23..d436cbd 100644
--- a/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
+++ b/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
@@ -56,13 +56,6 @@
to the bottom.
</description>
</key>
- <key name="allow-bold" type="b">
- <default>true</default>
- <summary>Whether to allow bold text</summary>
- <description>
- If true, allow applications in the terminal to make text boldface.
- </description>
- </key>
<key name="foreground-color" type="s">
<default>'#000000'</default>
<summary>Default color of text in the terminal</summary>
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index 69f5f38..23c1c52 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -144,7 +144,6 @@ class GeditTerminal(Vte.Terminal):
self.set_cursor_blink_mode(self.profile_settings.get_enum("cursor-blink-mode"))
self.set_cursor_shape(self.profile_settings.get_enum("cursor-shape"))
self.set_audible_bell(self.profile_settings.get_boolean("audible-bell"))
- self.set_allow_bold(self.profile_settings.get_boolean("allow-bold"))
self.set_scroll_on_keystroke(self.profile_settings.get_boolean("scroll-on-keystroke"))
self.set_scroll_on_output(self.profile_settings.get_boolean("scroll-on-output"))
self.set_audible_bell(self.defaults['audible_bell'])
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]