Florian Bruhin dd927ded6b Only update tab/window title on scroll if needed ... This way, if {scroll_pos} is not in the window/tab title template, we don't redraw anything unnecessarily. See #2233		2017-10-20 08:25:43 +02:00
..
statusbar	Add missing period	2017-10-15 00:22:19 +02:00
__init__.py	Finally update copyrights...	2017-05-09 21:37:03 +02:00
mainwindow.py	Fix docstrings	2017-10-11 14:40:05 +02:00
messageview.py	Fix merge resolution in messageview.	2017-09-07 12:08:26 -04:00
prompt.py	Remove old deprecated commands	2017-10-17 10:44:22 +02:00
tabbedbrowser.py	Only update tab/window title on scroll if needed	2017-10-20 08:25:43 +02:00
tabwidget.py	Only update tab/window title on scroll if needed	2017-10-20 08:25:43 +02:00