}
// user defined functions
+ public Gee.ArrayList<int> search (string txt) {
+ var ret = new Gee.ArrayList<int>();
+
+ return ret;
+ }
public bool saveContents () {
}
public void scroll_to_line (int line) {
- GLib.Timeout.add(100, () => {
+ GLib.Timeout.add(500, () => {
var buf = this.view.el.get_buffer();