Branch: refs/heads/master Author: Colomban Wendling ban@herbesfolles.org Committer: Colomban Wendling ban@herbesfolles.org Date: Fri, 10 Oct 2014 23:40:10 UTC Commit: f1da4b99146d261ec2e640bfb64ef5eee548f035 https://github.com/geany/geany/commit/f1da4b99146d261ec2e640bfb64ef5eee548f0...

Log Message: ----------- 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).

Modified Paths: -------------- src/document.c

Modified: src/document.c 2 lines changed, 1 insertions(+), 1 deletions(-) =================================================================== @@ -714,7 +714,7 @@ static gboolean remove_page(guint page_num) g_free(doc->priv->saved_encoding.encoding); g_free(doc->file_name); g_free(doc->real_path); - tm_workspace_remove_object(doc->tm_file, TRUE, TRUE); + tm_workspace_remove_object(doc->tm_file, TRUE, !main_status.quitting);

if (doc->priv->tag_tree) gtk_widget_destroy(doc->priv->tag_tree);

-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).