Thank you again - yes, that worked, the bookmarks are back. For the record: the key combination did not work for me, but the second method you suggested did the job.
Thanks Christiaan. I looked at my Time Machine backups, but it seems that this file - or the entire ~/Library directory for that matter - are not included in the backup for some reason. So, although a bookmark file currently exists on my harddrive, it is not in the backup and I can't restore the old one. The current bookmark file does not seem to contain the old bookmarks, as far as I can tell from looking into it with an editor. So I guess they are indeed lost. PS: By the way: I did not exactly...
Bookmarks disappeared
Database entry not displayed in bibliography window panel
Thanks for explaining this, Ethan. No, x11 is not listed among the available terminal types, which I show below. I guess I will ask about this at some Homebrew forum then. Available terminal types: cairolatex LaTeX picture environment using graphicx package and Cairo backend canvas HTML Canvas object cgm Computer Graphics Metafile context ConTeXt with MetaFun (for PDF documents) domterm DomTerm terminal emulator with embedded SVG dumb ascii art for anything that prints text dxf dxf-file for AutoCad...
Small glitch in User Guide (v.6.0)
Terminal type x11 unknown but still documented?
Perfect! Thanks for the quick answer. (Just in case someone else wants to use this as well: the relevant switches for the tool/side bars are SKAutoHideToolbarInFullScreen and SKCollapseSidePanesInFullScreen, which have to be set to "true".) Thomas