7 Commits

Author	SHA1	Message	Date
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	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