Hi,
All theia browser share theia setting file.
So if one theia browser user change theia preference file setting info,
This information is also reflected in other theia browser users.
I want separate theia setting info for each user(browser).
How can i do ?
Thanks.
And what does ‘folders’ properties mean below settings.json file ?
{ "folders": [ { "path": "file:///home/username/helloworld" }, { "path": "file:///home/username/dev/byeworld" } ], "settings": { // Enable/Disable the line numbers in the monaco editor "editor.lineNumbers": "off", // Tab width in the editor "editor.tabSize": 4, } }
on https://www.npmjs.com/package/@theia/preferences?activeTab=readme