bracer.py 文件源码

def do_load(self, workbench):
        print('Builder Workbench Addin: Load Bracer plugin workbench')

        editor = workbench.get_perspective_by_name('editor')
        dock_pane = Ide.EditorPerspective.get_utilities(editor)

        dock_widget = Dazzle.DockWidget(title=_('Rust Docs'),
                                        icon_name='accessories-dictionary-symbolic',
                                        visible=True,
                                        expand=False)

        Bracer.dock_widget = dock_widget

        if Bracer.settings.get_boolean('prefs-documentation'):
            if Bracer.settings.get_boolean('prefs-markdown'):
                Bracer._MARKDOWN_CSS = Bracer.get_data('resources/markdown.css')
                Bracer._HL_GITHUB_CSS = Bracer.get_data('resources/github.css')
                Bracer._MARKED_JS = Bracer.get_data('resources/marked.js')
                Bracer._HL_JS = Bracer.get_data('resources/hljs.js')
                Bracer._MARKDOWN_VIEW_JS = Bracer.get_data('resources/markdown-view.js')

                webview = WebKit2.WebView(visible=True, expand=True)
                Bracer.dock_webview = webview
                settings = webview.get_settings()
                settings.enable_html5_local_storage = False
                Bracer.dock_widget.add(Bracer.dock_webview)
                Ide.LayoutPane.add(dock_pane, Bracer.dock_widget)
            else:
                dock_text_widget = Gtk.TextView(visible=True, expand=True)
                Bracer.dock_text_widget = dock_text_widget
                scrolled = Gtk.ScrolledWindow(visible=True)
                scrolled.add(Bracer.dock_text_widget)
                Bracer.dock_widget.add(scrolled)
                Ide.LayoutPane.add(dock_pane, Bracer.dock_widget)