diff options
author | Reinier Heeres <reinier@heeres.eu> | 2007-07-15 15:12:54 (GMT) |
---|---|---|
committer | Reinier Heeres <reinier@heeres.eu> | 2007-07-15 15:12:54 (GMT) |
commit | c736b57378384a400250c28dbcdec83d75ae7a66 (patch) | |
tree | 15eb18ba643621e3904679616e3eaf8c65e7ae88 /layout.py | |
parent | b18a9163659da86e8a8b6047f7512c3b501a57b9 (diff) |
Some extra spacing around equations in history
Diffstat (limited to 'layout.py')
-rw-r--r-- | layout.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -136,6 +136,7 @@ class CalcLayout: scrolled_window.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC) self.history = gtk.VBox() self.history.set_homogeneous(False) + self.history.set_border_width(6) scrolled_window.add_with_viewport(self.history) self.grid.attach(scrolled_window, 6, 10, 5, 16) self._parent.show_all() |