Simon Huber 78c72b85fb Make tag for menubar-contents dropdown configurable (#4983) ... * Make tag for menubar-contents dropdown configurable * Make tag for menubar-contents dropdown configurable * Make tag for menubar-contents dropdown configurable		2020-11-06 16:26:44 +00:00
..
contents.tid	Make tag for menubar-contents dropdown configurable (#4983)	2020-11-06 16:26:44 +00:00
hamburger.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
pagecontrols.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
search.tid	Make Escape in keyboard-driven-inputs behave like in AdvancedSearch/Filter (#4961)	2020-11-02 19:08:24 +00:00
server.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
sidebar.tid	Menu bar: Fix search result visibility	2020-03-16 09:11:08 +00:00
topleftbar.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
toprightbar.tid	Menubar: Fix positioning of toprightbar when narrow	2020-03-24 10:35:07 +00:00