Jeremy Ruston 061a2c6c94 Menubar: Add an optional dropdown for the sidebar tabs		2020-03-14 12:55:11 +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	Menubar tweaks	2020-02-28 16:09:26 +00:00
server.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
sidebar.tid	Menubar: Add an optional dropdown for the sidebar tabs	2020-03-14 12:55:11 +00:00
topleftbar.tid	First commit of new Menu Bar plugin	2020-02-28 14:33:15 +00:00
toprightbar.tid	Menubar: Reverse order of top right menu items	2020-02-28 21:35:45 +00:00