[geany/geany] f1da4b: Don't rebuild TagManager workspace tags when quitting

[Colomban Wendling]

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

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).