Skip to content

Some 'Show and Hide' preferences forced 'on' after exiting focus mode #1627

Open
@ethancrawford

Description

@ethancrawford

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:
before focus-all options off

After focus mode, some show and hide preferences forced on:
after focus-some options forced on

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions