Revision 97d3b04...

Go back to digest for 13th May 2012

Bug Fixes in Utilities

Michel Ludwig committed changes in [kile] src/kile.cpp:

Force termination of Kile when the main window is closed.

Under some circumstances the Kile process would still remain in memory otherwise.

File Changes

Modified 1 files
  • src/kile.cpp
1 files changed in total