}
public void scroll_to_line (int line) {
- GLib.Timeout.add(1000, () => {
+ GLib.Timeout.add(100, () => {
var buf = this.view.el.get_buffer();
Gtk.TextIter iter;
sbuf.get_iter_at_line(out iter, line);
- this.view.el.scroll_to_iter(iter, 0.1f, true, 0.0f, 0.0f);
+ this.view.el.scroll_to_iter(iter, 0.1f, true, 0.0f, 0.5f);
+ return false;
});
}
public void show (JsRender.JsRender file, JsRender.Node? node, string ptype, string key)