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