Bookmark dropdown button
An alternative bookmark holder in form of a button with an attached
dropdown menu containing the actual bookmarks for the button bar would
be nice.
This way one could still use the bookmark feature even if you dont want
a sidebar to reduce the space of your file-listing.
Maybe the dropdown menu could hold the option the quickly en-/disable
the side bar.
(from redmine: issue id 1949, created on 2014-10-19 by benjamin.fischer, closed on 2014-10-29)
- Changesets:
- Revision 1708 on 2014-10-29T20:56:21Z:
Bookmarks hide/show as dropdown menu. fix #1949, fix # 1942, fix # 1934
- Revision 1708 on 2014-10-29T20:56:21Z:
Bookmarks hide/show as dropdown menu. fix #1949, fix # 1942, fix # 1934