I've got a local version (based on 0.12) that allows me to add a single file to an already existing workspace. I'd be happy to share what I've done, I'm just not sure the best way to do that sharing :)
Chris, if you have time give a look at (removing) com.chrisbartley.idea.util.JDOMExternalizableList that I put in there just as a quick fix for 1050. It wasn't pretty but it got the job done ;)
I'm planning to work on it this weekend.
(btw, you can already remove files from a workspace)
Great news, will look forward to it.
r.
Chris Bartley wrote:
Any thoughts on having Workspace pinning use the now-built-in pinning? Or on moving Workspaces between tab groups? Those would rule.
Great plugin. I use it everyday.
--Dave
I've got a local version (based on 0.12) that allows me to add a single file to an already existing workspace. I'd be happy to share what I've done, I'm just not sure the best way to do that sharing :)
Todd
Chris, if you have time give a look at (removing)
com.chrisbartley.idea.util.JDOMExternalizableList
that I put in there just as a quick fix for 1050. It
wasn't pretty but it got the job done ;)
Vince.
"Chris Bartley" <no_mail@jetbrains.com> wrote in message
news:11857912.1073493323478.JavaMail.itn@is.intellij.net...
>