Fix #7991 - better updateing of error status and char position of errors

[roobuilder] / src / Application.vala

diff --git a/src/Application.vala b/src/Application.vala
index a6638b8..cfe0fe0 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;
                                        }