Simon Huber 6a01ab20a0

Fix menubar-plugin search (#4922)

2020-10-28 10:55:16 +00:00

..

contents.tid

First commit of new Menu Bar plugin

2020-02-28 14:33:15 +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

Fix menubar-plugin search (#4922)

2020-10-28 10:55:16 +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