Orestis Floros 6846ac98c0
cmd_rename_workspace: correct order of events
1. Rename happens
2. Workspace is moved because of assignments
3. Workspace closes because it is empty (#3248)

Fixes #3248.
2018-09-06 03:42:07 +03:00
..
2018-03-15 19:57:30 +02:00
2017-09-30 11:41:57 +02:00
2017-09-30 11:41:57 +02:00
2017-09-30 11:41:57 +02:00
2017-09-30 11:41:57 +02:00
2017-09-30 11:41:57 +02:00