Jeremy Ruston
|
8f12717935
|
Menu bar: Fix search result visibility
Fixes #4509
|
2020-03-16 09:11:08 +00:00 |
|
Jeremy Ruston
|
061a2c6c94
|
Menubar: Add an optional dropdown for the sidebar tabs
|
2020-03-14 12:55:11 +00:00 |
|
Jeremy Ruston
|
63ba2883a4
|
Menubar: Reverse order of top right menu items
|
2020-02-28 21:35:45 +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
|
5644c2ac7b
|
Menubar tweaks
* Fix old references to "top menu" to the new "menu bar" terminology
* Use vanilla breakpoint for responsive adjustment to menu bar padding
|
2020-02-28 16:09:26 +00:00 |
|
Jeremy Ruston
|
ad2d4503e5
|
First commit of new Menu Bar plugin
|
2020-02-28 14:33:15 +00:00 |
|