From 13988fecf99a6f62b42ba81045bd6381de807b8f Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 27 Aug 2019 18:05:02 +1000 Subject: [PATCH] Add the current line number to the listing title. --- eris/__main__.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/eris/__main__.py b/eris/__main__.py index f6d0902..0a3d120 100755 --- a/eris/__main__.py +++ b/eris/__main__.py @@ -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"