Commit ff0b0824 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Reduce DisplayError window size

parent 69849022
......@@ -442,7 +442,7 @@ class DisplayError(object):
self.main_window.set_title("Compiler errors or info: " + model_name)
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)
Supports Markdown
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