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
..
menu.tid	Menubar plugin: make sidebar-scrollable top margin adjust ... (#4974)	2020-11-08 11:50:15 +00:00