This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Brecht Van Lommel e1178266e7 Workspace: support reordering of workspaces from RMB menu. ...

Drag and drop will follow later, it's a bit complicated to make this work
reliable in the current UI code.

2018-09-11 12:43:28 +02:00

156 KiB

Raw Blame History

View Raw