[gnome-terminal] prefs: editor: Disable "Show bold text in bright colors" by default
- From: Egmont Koblinger <egmontkob src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] prefs: editor: Disable "Show bold text in bright colors" by default
- Date: Wed, 12 Sep 2018 11:55:11 +0000 (UTC)
commit 334a1beb7b0574fcfd84ba8633456dca64133da7
Author: Egmont Koblinger <egmont gmail com>
Date: Fri Sep 7 17:51:12 2018 +0200
prefs: editor: Disable "Show bold text in bright colors" by default
https://bugzilla.gnome.org/show_bug.cgi?id=762247#c25
src/org.gnome.Terminal.gschema.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/org.gnome.Terminal.gschema.xml b/src/org.gnome.Terminal.gschema.xml
index a4adc663..abae254a 100644
--- a/src/org.gnome.Terminal.gschema.xml
+++ b/src/org.gnome.Terminal.gschema.xml
@@ -189,7 +189,7 @@
<description>If true, allow applications in the terminal to make text boldface.</description>
</key>
<key name="bold-is-bright" type="b">
- <default>true</default>
+ <default>false</default>
<summary>Whether bold is also bright</summary>
<description>If true, setting bold on the first 8 colors also switches to their bright
variants.</description>
</key>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]