X-Git-Url: http://git.roojs.org/?p=app.Builder.js;a=blobdiff_plain;f=src%2FBuilder4%2FGtkView.vala;h=9851abb768cab54d888780c13fc5bd8e33447e6d;hp=2c16f8e91edf4558e84298255c4b5b9e2c5c19c0;hb=HEAD;hpb=6254cdee13762abd79b326377d007523805b629b diff --git a/src/Builder4/GtkView.vala b/src/Builder4/GtkView.vala index 2c16f8e91..9851abb76 100644 --- a/src/Builder4/GtkView.vala +++ b/src/Builder4/GtkView.vala @@ -49,10 +49,10 @@ public class Xcls_GtkView : Object //listeners this.el.size_allocate.connect( (aloc) => { - + this.width = aloc.width; this.height =aloc.height; - }); + }); } // user defined functions @@ -191,7 +191,7 @@ public class Xcls_GtkView : Object } - public void forwardSearch () { + public void forwardSearch (bool change_focus) { if (this.searchcontext == null) { return; @@ -205,9 +205,9 @@ public class Xcls_GtkView : Object this.last_search_end = 0; } else { this.last_search_end = en.get_offset(); - - this.sourceview.el.grab_focus(); - + if (change_focus) { + this.sourceview.el.grab_focus(); + } buf.place_cursor(st); var ln = st.get_line(); buf.get_iter_at_line(out stl,ln); @@ -528,7 +528,7 @@ public class Xcls_GtkView : Object // this is connected in widnowstate - print("node selected\n"); + print("Roo-view - node selected\n"); var buf = this.el.get_buffer(); var sbuf = (Gtk.SourceBuffer) buf;