Open
Description
Feel free to close if this intentional behaviour, and apologies if this was discussed previously somewhere, (I can't remember) but I've noticed that after exiting focus mode, several of the Sonic Pi 'Show and Hide' editor preferences are always forced 'on', rather than being restored to their pre-focus mode state.
It only affects the bottom three - Show cue log, Show buttons and Show tabs.
Eg:
Before focus mode, all show and hide preferences toggled off: