Florian Bruhin 133e4c4b61 Improve history ... Also adds partial history completion, like zsh		2014-01-21 11:59:01 +01:00
..
browser.py	Use scroll bars and their values for percentage.	2014-01-21 10:15:25 +01:00
mainwindow.py	Set window title	2014-01-21 09:05:31 +01:00
statusbar.py	Improve history	2014-01-21 11:59:01 +01:00
tabbar.py	Simplify/cleanup stylesheets and statusbar	2014-01-21 10:48:03 +01:00