<div><div><br>I think it depends on what you are using more often. At this time I am with choice 1 so to jump between workspaces easily.<br> </div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
1) Leave the shortcuts for open/save workspace as Ctrl+O / Ctrl+S, but change<br>the shortcuts for open/save script file to Ctrl+Shift+O/Ctrl+Shift+S.<br><br><br></blockquote></div><br>