Handling the Slim mode

2015-08-15 12:54:30 +02:00
parent 92b9842b47
commit fe2d8b1c68
5 changed files with 55 additions and 20 deletions
--- a/rtgui/guiutils.cc
+++ b/rtgui/guiutils.cc
@@ -533,7 +533,7 @@ void ExpanderBox::setLevel(int level)

 void ExpanderBox::updateStyle()
 {
-    set_border_width(options.slimUI ? 2 : 8);  // Outer space around the tool's frame 2:7
+    set_border_width(options.slimUI ? 2 : 7);
 }

 void ExpanderBox::show_all()