//listeners
this.el.size_allocate.connect( (aloc) => {
-
+
this.width = aloc.width;
this.height =aloc.height;
});
}
- public void forwardSearch () {
+ public void forwardSearch (bool change_focus) {
if (this.searchcontext == null) {
return;
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);
// 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;