Improve the save operation of DartEditor #2895
Description
This issue was originally filed by @tomyeh
As the application getting bigger, the save operation of DartEditor is coming unacceptable - from tens seconds to a couple of minutes! To be productive, I was forced to use other text editor and invoke frogc manually.
I know it is tough and the Dart team must work on JDT-like incremental compilation. However, before the performance issue is really solved, I suggest to introduce an option that allows the user to turn off the compilation for each save. Then, the user can invoke the compilation at any proper moment he prefers.