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
As in the title, from the Configure menu I exported a json settings file , when I try to import it I see the "settings imported" message, but no setting is loaded.
The json content seems correct, I see my highlighting settings and other options.