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
We need a basic implementation of user preferences, which should be stored somewhere on the hard drive.
User preferences should be easily shareable and importable between users (maybe something like settings.json in vscode? just an idea..:))
These settings will include lots of features in the future, but for a proof of concept we could try to change monospace font used within the app.
The text was updated successfully, but these errors were encountered:
We need a basic implementation of user preferences, which should be stored somewhere on the hard drive.
User preferences should be easily shareable and importable between users (maybe something like settings.json in vscode? just an idea..:))
These settings will include lots of features in the future, but for a proof of concept we could try to change monospace font used within the app.
The text was updated successfully, but these errors were encountered: