ahamilton/eris
1
0
Fork 0
Code Releases Activity

Fix mouse scrolling.

Browse source 
- Missed rename of _column to _entries.
This commit is contained in:
Andrew Hamilton 2020-04-16 20:10:37 +10:00
parent 73fa8d4eaf
commit e06c53d3df
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
eris/__main__.py
View file

@ -941,9 +941,9 @@ class Screen:
view_x, view_y = self._summary._view_widget.portal.position
column_index = x - border_width + view_x
row_index = y - border_width + view_y
if row_index >= len(self._summary._column):
if row_index >= len(self._summary._entries):
return
row = self._summary._column[row_index]
row = self._summary._entries[row_index]
if column_index < 0 or column_index >= len(row):
return
self._summary._cursor_position = column_index, row_index

2
eris/webserver.py
View file

@ -85,7 +85,7 @@ def main():
screen = pickle.load(file_)
summary_page = make_summary_page(project_name, screen._summary)
index = {}
for row in screen._summary._column:
for row in screen._summary._entries:
for result in row:
index[(result.path[2:], result.tool.__name__)] = result.result
run()