ahamilton/eris
1
0
Fork 0
Code Releases Activity

The mouse wheel should page the listing not fine scroll it.

Browse source
This commit is contained in:
Andrew Hamilton 2016-02-03 18:56:30 +00:00
parent 53707c144b
commit 166893e4b2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
vigil
View file

@ -808,11 +808,11 @@ class Screen:
if event[0] not in ["mouse press", "mouse drag"]:
return
if event[1] == 4: # Mouse wheel up
self.listing_up()
self.listing_page_up()
self._appearance_changed_event.set()
return
if event[1] == 5: # Mouse wheel down
self.listing_down()
self.listing_page_down()
self._appearance_changed_event.set()
return
x, y = event[2:4]