geany/geany — pull request #353 by b4n (2014-10-10 23:48:03+00:00)
Title: Don't rebuild TagManager workspace tags when quitting

Updating the workspace is useless as the application will be shut down,
and not doing it can save a lot of time (almost 50% speedup quitting an
instance with all Geany source from `src/` open).