this.el.show_line_marks = true;
this.el.insert_spaces_instead_of_tabs = true;
this.el.show_line_numbers = true;
- this.el.draw_spaces = Gtk.SourceDrawSpacesFlags.LEADING;
+ this.el.draw_spaces = Gtk.SourceDrawSpacesFlags.ALL;
+ this.el.tab_width = 4;
this.el.highlight_current_line = true;
var child_0 = new Xcls_buffer( _this );
child_0.ref();
((Gtk.SourceBuffer)(this.el.get_buffer())) .set_language(lg);
this.el.insert_spaces_instead_of_tabs = true;
- if (lg.name == "vala") {
+
+ print("sourcelanguage = %s\n", lg.name);
+ if (lg.name == "Vala") {
this.el.insert_spaces_instead_of_tabs = false;
}