thanks. What is the upgrade path? I'd rather avoid having to reset my preferences and reinstall my plugins (i.e. subversion).
Unfortunately, that is the only workaround for this issue. The fix will be in next public release build of Flash Builder.
1) So the build with the fix has not been released?
2) When it is available, how do I proceed to update my version of burrito? Is it as simple as going to "Help?Check for Updates"?
Good questions! Adobe, pls comment..
We haven't announced our plans for providing updated versions of Flash Builder "Burrito" - either as a further preview or as a final version.
In the meantime, we are running a private pre-release program which provides access to newer builds of Flash Builder. If you would like to be considered for this program and are prepared to provide our product team with ongoing feedback, please email me: shorten at adobe.com.