Revision 8174f8f by Julian Eisel (temp-tab_drag_drop, temp-workspace-multi-window, topbar, workspaces) December 2, 2016, 10:33 (GMT) |
Add a workspace browsing button to Info Editor header And actually make it work. |
Revision 177b53f by Julian Eisel (temp-tab_drag_drop, temp-workspace-multi-window, topbar, workspaces) December 1, 2016, 22:59 (GMT) |
Store a workspace in each window Some details need to be figured out still (Windows should probably be able to share an active workspace). |
Revision 7a20bbd by Julian Eisel (temp-tab_drag_drop, temp-workspace-multi-window, topbar, workspaces) December 1, 2016, 21:54 (GMT) |
Initially add WorkSpace ID type |
|