[gnome-builder] editorconfig: set show-right-margin for editorconfig
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] editorconfig: set show-right-margin for editorconfig
- Date: Sun, 3 May 2015 21:35:52 +0000 (UTC)
commit 44040122c8701a7f9ad1c1bdbd7638c23a9a2403
Author: Christian Hergert <christian hergert me>
Date: Sun May 3 14:35:39 2015 -0700
editorconfig: set show-right-margin for editorconfig
If we have a right-margin-position, set "show-right-margin" too.
.../editorconfig/ide-editorconfig-file-settings.c | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/libide/editorconfig/ide-editorconfig-file-settings.c
b/libide/editorconfig/ide-editorconfig-file-settings.c
index eb04524..3f58c79 100644
--- a/libide/editorconfig/ide-editorconfig-file-settings.c
+++ b/libide/editorconfig/ide-editorconfig-file-settings.c
@@ -88,7 +88,10 @@ ide_editorconfig_file_settings_init_worker (GTask *task,
else if (g_str_equal (key, "charset"))
g_object_set_property (source_object, "encoding", value);
else if (g_str_equal (key, "max_line_length"))
- g_object_set_property (source_object, "right-margin-position", value);
+ {
+ g_object_set_property (source_object, "right-margin-position", value);
+ g_object_set (source_object, "show-right-margin", TRUE, NULL);
+ }
else if (g_str_equal (key, "end_of_line"))
{
GtkSourceNewlineType newline_type = GTK_SOURCE_NEWLINE_TYPE_LF;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]