[Ipe-discuss] Shortcut for toggling bookmarks panel?

[Jacob Barandes]

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>