Simon Huber
|
98f67373b1
|
Menubar plugin: make sidebar-scrollable top margin adjust ... (#4974)
* Menubar plugin: make sidebar-scrollable top margin adjust ...
... to height of menubar
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update menu.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update styles.tid
* Update menu.tid
* Update styles.tid
* Update styles.tid
|
2020-11-08 11:50:15 +00:00 |
|
Jeremy Ruston
|
2d9a9703cb
|
Menubar: Fix positioning of toprightbar when narrow
Fixes #4477
|
2020-03-24 10:35:07 +00:00 |
|
Jeremy Ruston
|
8f12717935
|
Menu bar: Fix search result visibility
Fixes #4509
|
2020-03-16 09:11:08 +00:00 |
|
Jeremy Ruston
|
fa48a592da
|
Menubar: Fix links in sidebar "open" tab
Fixes @BurningTreeC's report 061a2c6c94 (commitcomment-37826117)
|
2020-03-14 17:03:40 +00:00 |
|
Jeremy Ruston
|
edf025ebdc
|
Push top right menu items to the right
Looking more backwards compatible
|
2020-02-28 17:22:47 +00:00 |
|
Jeremy Ruston
|
ad2d4503e5
|
First commit of new Menu Bar plugin
|
2020-02-28 14:33:15 +00:00 |
|