[gnome-builder] plugins/editorui: move style scheme selection to Text Editor page
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/editorui: move style scheme selection to Text Editor page
- Date: Sat, 13 Aug 2022 00:37:34 +0000 (UTC)
commit 6528e80e03a9cbc33b478a7c0eea2853a1a0e30e
Author: Christian Hergert <chergert redhat com>
Date: Fri Aug 12 17:37:23 2022 -0700
plugins/editorui: move style scheme selection to Text Editor page
I'd like to keep appearance smaller and just the colors within the
text editor area. Sort of annoying for toggling light/dark, but it will
just be too crowded otherwise.
src/plugins/editorui/tweaks.ui | 10 +++++-----
src/plugins/platformui/tweaks.ui | 2 +-
2 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/src/plugins/editorui/tweaks.ui b/src/plugins/editorui/tweaks.ui
index 1f2c6577f..30f2af691 100644
--- a/src/plugins/editorui/tweaks.ui
+++ b/src/plugins/editorui/tweaks.ui
@@ -9,11 +9,11 @@
</child>
<child internal-child="visual_section">
<object class="IdeTweaksSection">
- <child internal-child="appearance_page">
+ <child internal-child="editor_page">
<object class="IdeTweaksPage">
<child>
- <object class="IdeTweaksGroup" id="appearance_page_color_group">
- <property name="title" translatable="yes">Color</property>
+ <object class="IdeTweaksGroup" id="editor_page_color_group">
+ <property name="title" translatable="yes">Color Scheme</property>
<child>
<object class="IdeTweaksWidget" id="style_scheme_preview">
<signal name="create" handler="editorui_create_style_scheme_preview"
object="GbpEditoruiTweaksAddin" swapped="true"/>
@@ -31,7 +31,7 @@
<property name="title" translatable="yes">Fonts & Styling</property>
<child>
<object class="IdeTweaksFont" id="editor_font">
- <property name="title" translatable="yes">Editor Font</property>
+ <property name="title" translatable="yes">Font</property>
<property name="subtitle" translatable="yes">The font used within the source code
editor</property>
<property name="settings">settings_org_gnome_builder_editor</property>
<property name="key">font-name</property>
@@ -40,7 +40,7 @@
<child>
<object class="IdeTweaksSpin" id="editor_line_height">
<property name="title" translatable="yes">Line Height</property>
- <property name="subtitle" translatable="yes">Adjust line height of the configured
font</property>
+ <property name="subtitle" translatable="yes">Adjust spacing between lines</property>
<property name="settings">settings_org_gnome_builder_editor</property>
<property name="key">line-height</property>
</object>
diff --git a/src/plugins/platformui/tweaks.ui b/src/plugins/platformui/tweaks.ui
index 8e36ff26b..db4778d2c 100644
--- a/src/plugins/platformui/tweaks.ui
+++ b/src/plugins/platformui/tweaks.ui
@@ -13,7 +13,7 @@
<object class="IdeTweaksPage">
<child>
<object class="IdeTweaksGroup" id="appearance_page_style_group">
- <property name="title" translatable="yes">Style</property>
+ <property name="title" translatable="yes">Interface</property>
<child>
<object class="IdeTweaksWidget" id="style_selector">
<signal name="create" handler="platformui_create_style_selector" object="IdeTweaks"
swapped="true"/>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]