editor.py 文件源码

def install_error_css():
        if Editor._error_css_provider is None:
            Editor._error_css_provider = Gtk.CssProvider()
            Editor._error_css_provider.load_from_data(str(Editor.ERROR_CSS))
            Gtk.StyleContext.add_provider_for_screen(
                    Gdk.Screen.get_default(),
                    Editor._error_css_provider,
                    Gtk.STYLE_PROVIDER_PRIORITY_USER)