vastly improve scrollbar handling
This commit is contained in:
parent
881d9e9d0d
commit
5f5d01a003
11
terminator
11
terminator
|
@ -279,16 +279,9 @@ class TerminatorTerm:
|
||||||
else:
|
else:
|
||||||
self._scrollbar.show ()
|
self._scrollbar.show ()
|
||||||
if self.scrollbar_position == 'right':
|
if self.scrollbar_position == 'right':
|
||||||
self._box.remove (self._scrollbar)
|
self._termbox.reorder_child (self._vte, 0)
|
||||||
self._box.remove (self._vte)
|
|
||||||
self._box.pack_start (self._vte)
|
|
||||||
self._box.pack_start (self._scrollbar)
|
|
||||||
elif self.scrollbar_position == 'left':
|
elif self.scrollbar_position == 'left':
|
||||||
self._box.remove (self._vte)
|
self._termbox.reorder_child (self._scrollbar, 0)
|
||||||
self._box.remove (self._scrollbar)
|
|
||||||
self._box.pack_start(self._scrollbar)
|
|
||||||
self._box.pack_start(self._vte)
|
|
||||||
|
|
||||||
|
|
||||||
# Set our sloppiness
|
# Set our sloppiness
|
||||||
self.focus = self.conf.focus
|
self.focus = self.conf.focus
|
||||||
|
|
Loading…
Reference in New Issue