[gnoduino] resize errorneous resize grips



commit f26cacaa6cf73dce5a9781f5a1fa99138c32d183
Author: Lucian Langa <lucilanga gnome org>
Date:   Sun Apr 29 23:17:25 2012 +0200

    resize errorneous resize grips

 src/ui.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/ui.py b/src/ui.py
index 7990500..b65625c 100644
--- a/src/ui.py
+++ b/src/ui.py
@@ -781,7 +781,9 @@ def run():
 		mainwin.connect("configure-event", cb_configure_event)
 		vbox = gui.get_object("vpan")
 		sb = gui.get_object("statusbar1")
+		sb.set_has_resize_grip(False)
 		sb2 = gui.get_object("statusbar2")
+		sb2.set_has_resize_grip(False)
 		setupSpinner()
 		config.cur_editor_font = p.getSafeValue("editor.font", p.getDefaultValue("editor.font")).replace(",", " ")
 		config.cur_console_font = p.getSafeValue("console.font", p.getDefaultValue("console.font")).replace(",", " ")



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]