diff options
-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() |