Commit a254840b authored by VIGNET Pierre's avatar VIGNET Pierre

Reduce DisplayError window size

parent 5519e351
......@@ -442,7 +442,7 @@ class DisplayError(object):
self.main_window.set_title("Compiler errors or info: " + model_name)
self.main_window.set_position(gtk.WIN_POS_CENTER)
self.main_window.set_keep_above(True)
self.main_window.set_default_size(600, 800)
self.main_window.set_default_size(500, 300)
scroll = gtk.ScrolledWindow()
scroll.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment