Thanks for suggesting a fix. I've now committed a slightly different version.
On August 13th, 2013, 6:46 p.m. UTC, Eugene Shalygin wrote:
Review request for Kile and Michel Ludwig.
By Eugene Shalygin.
Updated Aug. 13, 2013, 6:46 p.m.
There is a bug in Kile: after one cancels ongoing compilation, it is not possible to launch compilation again.
I believe the problem is caused by the fact that compilation tool is only stopped, but not removed from the queue. Therefore it seats forever at the front of the queue and prevents next tools from run.
This review request proposes to call Manager::done(..., KileTool::Aborted) after stopping the tool.
Manual. Start/abort/start compilation sequence works
- src/kiletoolmanager.cpp (696bbd7)