Simon Huber d66725fd31

Integrate keyboard-driven-input in menubar-search (#4752)

2020-07-14 12:32:40 +01: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

Integrate keyboard-driven-input in menubar-search (#4752)

2020-07-14 12:32:40 +01: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