I added a button for cancelling a compilation job, and for closing the compiler console for a particular file.
If the console is not pinned, the console for a particular file is activated if its content changes (otherwise a finished job may remain in the foreground even if other builds are still running).
thSoft
commented
9 years ago
I added a button for cancelling a compilation job, and for closing the compiler console for a particular file. If the console is not pinned, the console for a particular file is activated if its content changes (otherwise a finished job may remain in the foreground even if other builds are still running).