Aren/toaruos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clean up some scrolling and resizing in help-browser

Browse Source
This commit is contained in:
Kevin Lange 2017-01-10 17:00:03 +09:00
parent 89f9e9a85c
commit a4e9fc0123
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
userspace/py/bin/help-browser.py
View File

@ -162,6 +162,10 @@ You can also <link target=\"special:contents\">check the Table of Contents</link
def finish_resize(self, msg): def finish_resize(self, msg):
"""Accept a resize.""" """Accept a resize."""
if msg.width < 100 or msg.height < 100:
self.resize_offer(max(msg.width,100),max(msg.height,100))
return
self.resize_accept(msg.width, msg.height) self.resize_accept(msg.width, msg.height)
self.reinit() self.reinit()
self.size_changed = True self.size_changed = True
@ -179,6 +183,12 @@ You can also <link target=\"special:contents\">check the Table of Contents</link
self.scroll_offset -= 1 self.scroll_offset -= 1
self.text_offset += self.tr.line_height self.text_offset += self.tr.line_height
while self.text_offset >= self.tr.line_height: while self.text_offset >= self.tr.line_height:
n = (len(self.tr.lines)-self.tr.visible_lines())+4
n = n if n >= 0 else 0
if self.scroll_offset >= n:
self.scroll_offset = n
self.text_offset = 0
break
self.scroll_offset += 1 self.scroll_offset += 1
self.text_offset -= self.tr.line_height self.text_offset -= self.tr.line_height
self.update_text_buffer() self.update_text_buffer()