ahamilton/eris
1
0
Fork 0
Code Releases Activity

Add the current line number to the listing title.

Browse source
This commit is contained in:
Andrew Hamilton 2019-08-27 18:05:02 +10:00
parent d79814e0c3
commit 13988fecf9
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
eris/__main__.py
View file

@ -946,12 +946,13 @@ class Screen:
widget = self._summary.get_selection()
view = self._listing.widget.view
view.position = widget.scroll_position
x, y = view.position
view.widget = widget.result
tool_name = tools.tool_name_colored(widget.tool, widget.path)
divider = " " + self._listing.top * 4 + " "
divider = " " + self._listing.top * 2 + " "
self._listing.title = (
tools.path_colored(widget.path) + divider + tool_name + " " +
tools.status_to_str(widget.status))
tools.status_to_str(widget.status) + divider + "Line: " + str(y+1))
_STATUS_BAR = highlight_chars(
" *help *quit *t*a*b:focus *turn *log *edit *next *pause *order"