[latexila] Update document structure after running a build tool
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [latexila] Update document structure after running a build tool
- Date: Thu, 20 Aug 2015 10:53:27 +0000 (UTC)
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]