5 commits

Author	SHA1	Message	Date
MrOtherGuy	5d18237e62	Add off-by-default way to show toolbars if mainpopupset is hovered	2020-12-11 09:55:00 +02:00
MrOtherGuy	b4d97d83c9	work around issue where hovering sidebar-header would show the toolbox	2020-11-22 08:27:57 +02:00
MrOtherGuy	5e823bafd5	make bookmarks toolbar only hidden - not collapsed when it is disabled	2020-10-04 21:36:14 +03:00
MrOtherGuy	fc967120bf	Use longer delay before autohide	2020-07-06 20:29:51 +03:00
MrOtherGuy	28278cffa4	new file	2020-05-27 16:12:41 +03:00