Closed lonix1 closed 1 year ago
Been using this for ages. Now there's that new "Profiles" feature (which doesn't seem documented :-( so I'm not sure of all the details).
Do you know whether it makes this extension obsolete, or if it serves a different purpose?
I haven't look into profiles yet - I wrote this extension to just set up new workspaces easily, and it still does that job for me. 😄
Been using this for ages. Now there's that new "Profiles" feature (which doesn't seem documented :-( so I'm not sure of all the details).
Do you know whether it makes this extension obsolete, or if it serves a different purpose?