diff options
author | JRG 2 <jrg2@ubuntu.(none)> | 2013-12-20 23:07:22 (GMT) |
---|---|---|
committer | JRG 2 <jrg2@ubuntu.(none)> | 2013-12-20 23:07:22 (GMT) |
commit | 8c2ee8040d356e2726065c810e79a122c4719ec8 (patch) | |
tree | 8b17bd69cdf19c60bbf428c45978811b2d1b07c5 | |
parent | 936127c38f4a0f4d52d961948466f2ef8444ff58 (diff) |
Modify layout.pyline_calc
-rw-r--r-- | layout.py | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -239,7 +239,18 @@ class CalcLayout: else: self.last_eq.modify_text(Gtk.StateType.NORMAL, self.col_black) - self.grid.attach(self.last_eq, 7, 11, 2, 7) + self.last_eq_vbox = gtk.VBox() + self.last_eq_vbox.set_homogeneous(False) + self.last_eq_vbox.set_border_width(0) + self.last_eq_vbox.set_spacing(4) + + self.scroll_win = gtk.ScrolledWindow() + self.scroll_win.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC) + + self.last_eq_vbox.pack_start(self.last_eq) + self.scroll_win.add_with_viewport(self.last_eq_vbox) + + self.grid.attach(self.scroll_win, 7, 11, 2, 7) # Right part: history scrolled_window = Gtk.ScrolledWindow() |