[gnoduino] resize errorneous resize grips
- From: Lucian Langa <lucilanga src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnoduino] resize errorneous resize grips
- Date: Sun, 29 Apr 2012 21:19:35 +0000 (UTC)
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]