"* init" : [
"{",
"",
+ "\tthis.css = new Gtk.CssProvider();",
+ "\ttry {",
+ "\t\tthis.css.load_from_data(\"#editor-view { font: 10px Monospace;}\");",
+ "\t} catch (Error e) {}",
+ "\tthis.el.get_style_context().add_provider(this.css,",
+ "\t\tGtk.STYLE_PROVIDER_PRIORITY_APPLICATION);",
+ "\t ",
+ "\t\t ",
+ "",
"}",
""
],
+ "Gtk.CssProvider css" : "",
"Gtk.Orientation orientation" : "Gtk.Orientation.VERTICAL",
"Gtk.SourceSearchContext searchcontext" : "",
"bool hexpand" : true,
// my vars (def)
public Gtk.Widget lastObj;
+ public Gtk.CssProvider css;
public Xcls_MainWindow main_window;
public Gtk.SourceSearchContext searchcontext;
public int last_search_end;
{
+ this.css = new Gtk.CssProvider();
+ try {
+ this.css.load_from_data("#editor-view { font: 10px Monospace;}");
+ } catch (Error e) {}
+ this.el.get_style_context().add_provider(this.css,
+ Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
+
+
+
}
//listeners