How can one access list of bookmarks form plugin? Is there some kind of bookmarks registry or something?
The bookmarks are managed by the BookmarkManager class. It's not part of OpenAPI so you don't get its source or javadoc, but maybe you'll be able to figure it out anyway.
-- Dmitry Jemerov Development Lead JetBrains, Inc. http://www.jetbrains.com/ "Develop with Pleasure!"
Hello terramekh,
The bookmarks are managed by the BookmarkManager class. It's not part of
OpenAPI so you don't get its source or javadoc, but maybe you'll be able
to figure it out anyway.
--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"