" this.el.set_mark_attributes (\"DEPR\", dattrs, 1);",
" ",
" ",
- " this.el.get_space_drawer().set_matrix( new Variant(",
+ " this.el.get_space_drawer().set_matrix( new Variant( Gtk.SourceSpaceTypeFlags.ALL)",
" ",
- " Gtk.SourceSpaceTypeFlags.ALL)"
+ " /*",
+ " Gtk.SourceDrawSpacesFlags.LEADING + ",
+ "Gtk.SourceDrawSpacesFlags.TRAILING + ",
+ "Gtk.SourceDrawSpacesFlags.TAB + ",
+ "Gtk.SourceDrawSpacesFlags.SPACE",
+ " */"
],
"* pack" : "add",
"Gtk.CssProvider css" : "null",
this.el.set_mark_attributes ("DEPR", dattrs, 1);
- this.el.get_space_drawer().set_matrix( new Variant(
+ this.el.get_space_drawer().set_matrix( new Variant( Gtk.SourceSpaceTypeFlags.ALL)
- Gtk.SourceSpaceTypeFlags.ALL)
+ /*
+ Gtk.SourceDrawSpacesFlags.LEADING +
+ Gtk.SourceDrawSpacesFlags.TRAILING +
+ Gtk.SourceDrawSpacesFlags.TAB +
+ Gtk.SourceDrawSpacesFlags.SPACE
+ */
//listeners
this.el.key_release_event.connect( (event) => {