Project plugin: only reload if the project file has been modified

Review Request #122349 - Created Jan. 31, 2015 and submitted

Alexander Neundorf
cullmann, dhaumann

Only reload the project if the project file has been modified.
Without this patch the project is reloaded whenever the directory which contains the project file is updated. If the proejct file is out-of-source, as is the case for cmake-generated kate project files, during "make install" of the project cmake writes a install_manifest.txt line by line, one for every file. So for each installed file kate reloads the project once, which can take a few minutes at 100% CPU if the project installs hundreds of files.

Tested with cmake as loaded project. During make install of cmake no noticable delay happens anymore in kate, before it took maybe 2 minutes at 100% before kate responded again.

Christoph Cullmann
Alexander Neundorf
Review request changed

Status: Closed (submitted)