[Ipe-discuss] Shortcut for toggling bookmarks panel?

Jacob Barandes jacob.barandes at gmail.com
Mon Jul 3 17:58:12 CEST 2023

I can't seem to find a way to bind a keyboard shortcut to toggle the
bookmarks panel. There doesn't appear to exist a
"shortcuts.toggle_bookmarks" property (or something like it) that I can set.

I've checked the mailing list archives, but haven't found anything.

Is there some way to do this that I'm not understanding?

Please excuse any ignorance on my part, and thanks so much!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.science.uu.nl/pipermail/ipe-discuss/attachments/20230703/8aa61d69/attachment.html>

More information about the Ipe-discuss mailing list