X-Git-Url: http://git.roojs.org/?a=blobdiff_plain;f=src%2FBuilder4%2FEditor.vala;h=ced4602e07c5f763743d1669cb8b00db1fa0d289;hb=ea4d320f55c1b91c945c2e635f096924ee40d7aa;hp=5257480c1383e829492b2e217d09c614cdd191ce;hpb=ebb07cb388219cd1760dec78742f5bb11bb14916;p=app.Builder.js

diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala
index 5257480c1..ced4602e0 100644
--- a/src/Builder4/Editor.vala
+++ b/src/Builder4/Editor.vala
@@ -168,7 +168,7 @@ public class Editor : Object
     
            
     }
-    public void forwardSearch () {
+    public void forwardSearch (bool change_focus) {
     
     	if (this.searchcontext == null) {
     		return;
@@ -177,14 +177,14 @@ public class Editor : Object
     	Gtk.TextIter beg, st,en;
     	 
     	this.buffer.el.get_iter_at_offset(out beg, this.last_search_end);
-    	this.searchcontext.forward(beg, out st, out en);
+    	if (!this.searchcontext.forward(beg, out st, out en)) {
     	
-    	if (en == null) {
     		this.last_search_end = 0;
     	} else {
     		this.last_search_end = en.get_offset();
-    	
-    		this.view.el.grab_focus();
+    		if (change_focus) {
+    			this.view.el.grab_focus();
+    		}
     		this.buffer.el.place_cursor(st);
     		this.view.el.scroll_to_iter(st,  0.1f, true, 0.0f, 0.5f);
     	}
@@ -334,10 +334,13 @@ public class Editor : Object
 
             var description =   Pango.FontDescription.from_string("monospace");
             		description.set_size(8000);
+            
             		 this.el.override_font(description);
+            
+            	try {        
+            		this.el.completion.add_provider(new Palete.CompletionProvider(_this));
+                } catch (GLib.Error  e) {}
                 
-               
-            	this.el.completion.add_provider(new Palete.CompletionProvider(_this));
             	this.el.completion.unblock_interactive();
             	this.el.completion.select_on_show			= true; // select
             	this.el.completion.show_headers			= false;
@@ -547,7 +550,7 @@ public class Editor : Object
             
                 // assume it's gtk...
                    this.check_running = true;
-        
+         
                  if (!_this.window.windowstate.valasource.checkPlainFileSpawn(
         	   _this.file,
         	    str
@@ -572,6 +575,7 @@ public class Editor : Object
                 this.check_running = false;
                 print("calling validate javascript\n"); 
                 return this.highlightErrors(p.validateJavascript(
+            		_this.window.windowstate,
                     str, 
                      _this.key, 
                     _this.ptype,