[latexila] Update document structure after running a build tool



commit c8d541e3243ad544711a531fb8331cb706002589
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Aug 20 12:49:21 2015 +0200

    Update document structure after running a build tool
    
    Ideally the document structure should be updated automatically when the
    document is modified, but it's not already the case.

 src/main_window.vala             |    8 ++++++++
 src/main_window_build_tools.vala |    6 ++++++
 2 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/src/main_window.vala b/src/main_window.vala
index 6f0961b..b5bc6b4 100644
--- a/src/main_window.vala
+++ b/src/main_window.vala
@@ -563,6 +563,14 @@ public class MainWindow : Window
     }
 
     /*************************************************************************/
+    // Misc public functions
+
+    public MainWindowStructure get_main_window_structure ()
+    {
+        return _main_window_structure;
+    }
+
+    /*************************************************************************/
     // Manage documents: get list of documents, open or save a document, etc.
 
     public Gee.List<Document> get_documents ()
diff --git a/src/main_window_build_tools.vala b/src/main_window_build_tools.vala
index bbd6d13..9c7f414 100644
--- a/src/main_window_build_tools.vala
+++ b/src/main_window_build_tools.vala
@@ -391,6 +391,12 @@ public class MainWindowBuildTools
             tool.run_async.end (result);
             _cancellable = null;
             update_sensitivity ();
+
+            // Refresh the document structure when the build tool has finished. When the
+            // build tool is running, LaTeXila is already busy parsing the command
+            // outputs. On the other hand, when the build tool has finished, maybe Evince
+            // is shown so LaTeXila has nothing to do.
+            _main_window.get_main_window_structure ().refresh ();
         });
 
         _bottom_panel.show ();


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]