October 5, 2013 at 11:50 am #17037
It is easy to make such a plug-in to show the list of bookmarks. Some examples in the Library include source code to use custom bars. We just need to replace the contents with the list of bookmarks. I might add that plug-in future versions.