re #7912 drag and drop of workspaces
Merge branch 'feature/7912_dragdrop_script_window' into develop