Builder4/Editor.bjs.MB91LX

Builder4/Editor.bjs
Builder4/Editor.vala

diff --git a/Builder4/Editor.bjs b/Builder4/Editor.bjs
index 4164340..315ea11 100644 (file)
--- a/Builder4/Editor.bjs
+++ b/Builder4/Editor.bjs
@@ -62,7 +62,7 @@
                             },
                             "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    var attrs = new Gtk.SourceMarkAttributes();\n    var  pink = new Gdk.RGBA();\n    pink.parse ( \"pink\");\n    attrs.set_background ( pink);\n    attrs.set_icon_name ( \"list-remove\");    \n    attrs.query_tooltip_text.connect(( mark) => {\n        print(\"tooltip query? %s\\n\", mark.name);\n        return mark.name;\n    });\n    \n    this.el.set_mark_attributes (\"error\", attrs, 1);\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    var  pink = new Gdk.RGBA();\n    pink.parse ( \"pink\");\n    attrs.set_background ( pink);\n    attrs.set_icon_name ( \"process-stop\");    \n    attrs.query_tooltip_text.connect(( mark) => {\n        print(\"tooltip query? %s\\n\", mark.name);\n        return mark.name;\n    });\n    \n    this.el.set_mark_attributes (\"error\", attrs, 1);\n    \n    ",
                             "$ insert_spaces_instead_of_tabs" : true,
                             "* pack" : "add",
                             "xtype" : "View",

diff --git a/Builder4/Editor.vala b/Builder4/Editor.vala
index 197105f..4dfa0fd 100644 (file)
--- a/Builder4/Editor.vala
+++ b/Builder4/Editor.vala
@@ -258,7 +258,7 @@ public class Editor : Object
                 var  pink = new Gdk.RGBA();
                 pink.parse ( "pink");
                 attrs.set_background ( pink);
-                attrs.set_icon_name ( "list-remove");    
+                attrs.set_icon_name ( "process-stop");    
                 attrs.query_tooltip_text.connect(( mark) => {
                     print("tooltip query? %s\n", mark.name);
                     return mark.name;