Builder4/Editor.bjs
Builder4/Editor.vala
},
"gboolean show_line_marks" : true,
"id" : "view",
- "* init" : " \n var description = Pango.FontDescription.from_string(\"monospace\");\n description.set_size(8000);\n this.el.override_font(description);\n\n ",
+ "* init" : " \n var description = Pango.FontDescription.from_string(\"monospace\");\n description.set_size(8000);\n this.el.override_font(description);\n\n var attrs = new Gtk.SourceMarkAttributes();\n Gtk.Color pink;\n Gtk.Color.parse ( out pink, \"pink\");\n attrs.set_background (attrs, pink);\n this.el.set_mark_attributes (\"error\", attrs, 1);",
"$ insert_spaces_instead_of_tabs" : true,
"* pack" : "add",
"xtype" : "View",
var description = Pango.FontDescription.from_string("monospace");
description.set_size(8000);
this.el.override_font(description);
+
+ var attrs = new Gtk.SourceMarkAttributes();
+ Gtk.Color pink;
+ Gtk.Color.parse ( out pink, "pink");
+ attrs.set_background (attrs, pink);
+ this.el.set_mark_attributes ("error", attrs, 1);
// listeners
this.el.key_release_event.connect( (event) => {