fix merge

[roobuilder] / src / Application.vala

diff --git a/src/Application.vala b/src/Application.vala
index a6638b8..4df8de0 100644 (file)
--- a/src/Application.vala
+++ b/src/Application.vala
@@ -535,7 +535,9 @@
                                // it's ready..
                                 
                                ls.document_open(file);
-                               ls.document_save(file);
+                               ls.document_save.begin( file, (o,res) => {
+                                       ls.document_save.end(res);
+                                });
                                
                                //ls.syntax.begin(file, (obj,res) => {
                                //      ls.syntax.end(res);
@@ -682,9 +684,9 @@ flutter-project  -  was try and read flutter data (but desnt work.)
                
                public static void updateCompileResults( )
                {
-                       queue_update_compile_countdown = 4; // 1 second after last call.
+                       queue_update_compile_countdown = 2; // 1 second after last call.
                        if (queue_update_compile_id == 0) {
-                               queue_update_compile_id = GLib.Timeout.add(250, () => {
+                               queue_update_compile_id = GLib.Timeout.add(100, () => {
                                        if (queue_update_compile_countdown < 0) {
                                                return true;
                                        }
@@ -713,8 +715,9 @@ flutter-project  -  was try and read flutter data (but desnt work.)
                                 
                                GLib.debug("calling udate Errors of window %s", ww.windowstate.file.targetName());
                                ww.updateErrors();
-                               
-                               
+                               ww.windowstate.left_tree.updateErrors();
+                               ww.windowstate.left_props.updateErrors();
+       
                        }
                
                }
@@ -801,4 +804,4 @@ flutter-project  -  was try and read flutter data (but desnt work.)
                
 
  
- 
\ No newline at end of file
+