[gnome-builder] tools: add show-right-margin to list-file-settings tool

[Christian Hergert <chergert src gnome org>]

commit c635d52de35f575b29bb0f344ada74fe794013f0
Author: Christian Hergert <christian hergert me>
Date:   Mon May 4 21:44:13 2015 -0700

    tools: add show-right-margin to list-file-settings tool
    
    Recently added, missing from utility.

 tools/ide-list-file-settings.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/tools/ide-list-file-settings.c b/tools/ide-list-file-settings.c
index b27261d..d8fa53c 100644
--- a/tools/ide-list-file-settings.c
+++ b/tools/ide-list-file-settings.c
@@ -98,6 +98,7 @@ load_settings_cb (GObject      *object,
   g_print ("newline_type = %s\n", newline_string (ide_file_settings_get_newline_type (settings)));
   g_print ("indent_sytle = %s\n", indent_style_string (ide_file_settings_get_indent_style (settings)));
   g_print ("right_margin_position = %u\n", ide_file_settings_get_right_margin_position (settings));
+  g_print ("show_right_margin = %s\n", ide_file_settings_get_show_right_margin (settings) ? "true" : 
"false");
 
   g_clear_object (&settings);