6 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	365eadc807	ui: Fixed history list can't be clicked away on Linux	2018-01-16 15:31:04 +01:00
Eberhard Graether	2ac430bbe5	ui: Increased history dropdown list size to 50	2018-01-13 13:37:18 +01:00
Eberhard Graether	618ed72241	ui: Fixed history dropdown click opened again when clicking on history button on Windows	2017-12-15 15:38:43 +01:00
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