[gnome-text-editor] preferences: add right-margin to preview



commit 81e6b84465dcf9e0acbeb55040caafca1bd9ac76
Author: Christian Hergert <chergert redhat com>
Date:   Wed Dec 1 20:29:56 2021 -0800

    preferences: add right-margin to preview
    
    Related #183

 src/editor-preferences-dialog.c  | 3 +++
 src/editor-preferences-dialog.ui | 1 +
 2 files changed, 4 insertions(+)
---
diff --git a/src/editor-preferences-dialog.c b/src/editor-preferences-dialog.c
index bf16b9f..1c32ca6 100644
--- a/src/editor-preferences-dialog.c
+++ b/src/editor-preferences-dialog.c
@@ -337,6 +337,9 @@ editor_preferences_dialog_init (EditorPreferencesDialog *self)
   g_settings_bind (self->settings, "highlight-current-line",
                    self->source_view, "highlight-current-line",
                    G_SETTINGS_BIND_GET);
+  g_settings_bind (self->settings, "show-right-margin",
+                   self->source_view, "show-right-margin",
+                   G_SETTINGS_BIND_GET);
   g_settings_bind_with_mapping (self->settings, "show-grid",
                                 self->source_view, "background-pattern",
                                 G_SETTINGS_BIND_GET,
diff --git a/src/editor-preferences-dialog.ui b/src/editor-preferences-dialog.ui
index cfba676..9ec0628 100644
--- a/src/editor-preferences-dialog.ui
+++ b/src/editor-preferences-dialog.ui
@@ -25,6 +25,7 @@
                     <property name="bottom-margin">8</property>
                     <property name="left-margin">12</property>
                     <property name="right-margin">12</property>
+                    <property name="right-margin-position">30</property>
                     <property name="monospace">true</property>
                     <property name="show-line-numbers">true</property>
                     <property name="buffer">


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]