3 Commits

Include renames

Author	SHA1	Message	Date
Andreas Stallinger	59cece1707	ui: fixed historylist popup disapearing	2017-06-07 15:39:39 +02:00
Eberhard Graether	9088de8105	ui: History list polishing ... * Fixed fulltext searches not included * Show smaller colored indicator in front of list items * Font weight bold on history list item hover	2017-05-19 14:08:56 +02:00
Eberhard Graether	f4caacacf2	ui: Added history of last active symbols to UI and menu (issue 151) ... * holding down back or forward button shows list of current back-forward stack * added narrow button between back and forward to show the list * added History menu * moved back and forward actions to History menu * show chronological list of recently active symbols in History menu bug id = 151 fortune cookie message = Dein Geschäft wird gut laufen und expandieren.	2017-05-09 17:14:43 +02:00