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
{{ message }}
This repository has been archived by the owner on Aug 29, 2023. It is now read-only.
To reproduce, open the preferences and change them in any way. Log out and log back in again. The preferences will be as before you changed them.
It has been suggested that this behaviour only appears when you change "Reopen last workspace on startup". In any case, the cause seems to be that the api method "set_preferences" is called with an empty content.
The text was updated successfully, but these errors were encountered:
To reproduce, open the preferences and change them in any way. Log out and log back in again. The preferences will be as before you changed them.
It has been suggested that this behaviour only appears when you change "Reopen last workspace on startup". In any case, the cause seems to be that the api method "set_preferences" is called with an empty content.
The text was updated successfully, but these errors were encountered: