You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To reduce pollution of the workspace settings file, a configuration option should be added.
If set, the configuration backup will be removed after deactivating (successfully) the presentation mode.
This will incur small overhead due to the need for recreating the backup on each activation, but could help avoid unnecessary or unexpected, persistent modification of the workspace settings file.
The text was updated successfully, but these errors were encountered:
Echoing this request. Working in a team with a workspace settings file already, this makes the extension hard to justify using for the entire team since it clutters the file up.
If I have time sometime soon, I may attempt to implement this. Not being familiar with a framework hasn't stopped me yet!
To reduce pollution of the workspace settings file, a configuration option should be added.
If set, the configuration backup will be removed after deactivating (successfully) the presentation mode.
This will incur small overhead due to the need for recreating the backup on each activation, but could help avoid unnecessary or unexpected, persistent modification of the workspace settings file.
The text was updated successfully, but these errors were encountered: