3 Commits

Include renames

Author	SHA1	Message	Date
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
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
Andreas Stallinger	43409cd6b7	build: trial version target ... builds now app and trail target, lib_gui added, istrail function	2015-12-08 17:55:12 +01:00