changeset 19366:cd2a75e5cd6e gui-release

use indentation width for the editor from the settings (bug #43592) * file-editor-tab.cc (notice-settings): Read the indentation width from the settings file
author Torsten <ttl@justmail.de>
date Thu, 13 Nov 2014 07:02:33 +0100
parents 91cd85a75705
children 2a790328fc50
files libgui/src/m-editor/file-editor-tab.cc
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor-tab.cc	Mon Jun 23 18:46:32 2014 +0200
+++ b/libgui/src/m-editor/file-editor-tab.cc	Thu Nov 13 07:02:33 2014 +0100
@@ -1883,6 +1883,8 @@
         (settings->value ("editor/show_indent_guides",false).toBool ());
   _edit_area->setIndentationsUseTabs
         (settings->value ("editor/indent_uses_tabs",false).toBool ());
+  _edit_area->setIndentationWidth
+        (settings->value ("editor/indent_width",2).toInt ());
 
   _edit_area->setTabWidth
         (settings->value ("editor/tab_width",2).toInt ());