Feature request: Change default values for widget mode

[iulian-birlica]

Hello! I have been playing around with the vscode-lean extension, and I find the widget-mode "Props only" option to be an excellent didactic tool, keeping attention on the important things during a presentation.

The only problem that I encountered is that I have to manually click "Props only" for every line (or statement change), making it cumbersome to use.

I am not sure this is a proper feature request, because this feature may already exist, but I searched the documentation, github issues, and the internet, and I could not find something to set default values in widget-mode (Zulip chat seems hard to search for some reason, returning results for every "Props" word in discussions).