src/Builder4/Editor.bjs
authorAlan <alan@roojs.com>
Thu, 8 Feb 2024 09:06:40 +0000 (17:06 +0800)
committerAlan <alan@roojs.com>
Thu, 8 Feb 2024 09:06:40 +0000 (17:06 +0800)
src/Builder4/Editor.vala

src/Builder4/Editor.bjs
src/Builder4/Editor.vala

index d854f63..5173f75 100644 (file)
        "$ xns" : "GtkSource",
        "* init" : [
         "",
-        "",
-        "this.css = new Gtk.CssProvider();",
-        "",
-        "this.css.load_from_string(",
-        "\t\"#editor-view { font:  12px monospace;}\"",
-        ");",
         " ",
-        "Gtk.StyleContext.add_provider_for_display(",
-        "\tthis.el.get_display(),",
-        "\tthis.css,",
-        "\tGtk.STYLE_PROVIDER_PRIORITY_APPLICATION",
-        ");",
         "\t",
         " ",
         " ",
index 7477bc3..55a6724 100644 (file)
@@ -642,20 +642,6 @@ public class Editor : Object
 
                        // init method
 
-                       this.css = new Gtk.CssProvider();
-                       
-                       this.css.load_from_string(
-                               "#editor-view { font:  12px monospace;}"
-                       );
-                        
-                       Gtk.StyleContext.add_provider_for_display(
-                               this.el.get_display(),
-                               this.css,
-                               Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION
-                       );
-                               
-                        
-                        
                        this.el.completion.add_provider(
                                new Palete.CompletionProvider(_this)
                        );