How to re-order workspaces?
-
fuzi1968 last edited by
I've started created workspaces but created in wrong order - how can I re-order them?
I can't find any menu. Is there any xml file which I can change to re-order them?
Using Opera since version 6.
-
burnout426 Volunteer last edited by
Goto the URL
opera://about
and take note of the "profile" path.Close Opera and open the "Preferences" file in the profile folder with JSONedit.
Under ui/workspaces/config/order, you can see the order. You can try to modify it and save.
I think there's going to be a way to reorder them eventually though.
-
fuzi1968 last edited by
@burnout426 Thanks a lot. Will try with Opera 67 when it works. Had to downgrade.
Using Opera since version 6.
-
A Former User last edited by
@fuzi1968
On developer version you can drag&drop on The sidebar setupOn the stable it seems there is the "hacky" unofficial way:
- Go to opera://sidebar-setup
- Open devtools
- opr.workspacesPrivate.getWorkspacesInfo((x) => { console.log(x); });
- Note The id values.
- opr.workspacesPrivate.moveWorkspaceToPosition(id, position).