[gnome-text-editor] preferences: add right-margin to preview
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-text-editor] preferences: add right-margin to preview
- Date: Thu, 2 Dec 2021 04:30:23 +0000 (UTC)
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]