src/Builder4/GtkView.vala
],
"| void scroll_to_line" : [
"(int line) {",
- " this.notebook.el.set_current_page(1);// code preview...",
+ " // code preview...",
" ",
- " GLib.Timeout.add(500, () => {",
+ " GLib.Timeout.add(100, () => {",
" ",
" ",
- "\t ",
+ "\t this.notebook.el.set_current_page(1);",
"\t ",
"\t\t var buf = this.sourceview.el.get_buffer();",
"\t ",
}
public void scroll_to_line (int line) {
- this.notebook.el.set_current_page(1);// code preview...
+ // code preview...
- GLib.Timeout.add(500, () => {
+ GLib.Timeout.add(100, () => {
-
+ this.notebook.el.set_current_page(1);
var buf = this.sourceview.el.get_buffer();