Ejemplo n.º 1
0
    def update_from_config(self, config_view):
        lg = ui.View()
        lg.present("sheet", hide_title_bar=True)

        logger.debug("Updating configuration")
        tv = self["editor_view"]["WebEditor"]["web_view"]
        config = config_view.config

        font_size = config.get_value("editor.font.size")
        gutter = config.get_value("editor.show.gutter")
        style = config.get_value("editor.style")
        margin = config.get_value("editor.print.margin")
        wrap = config.get_value("editor.line.wrap")
        soft_tab = config.get_value("editor.soft.tabs")
        tab_size = config.get_value("editor.tab.size")

        lb = ui.Label()
        lb.text = "Loading Style %r" % style
        lb.flex = "WH"
        lg.add_subview(lb)
        lb.size_to_fit()

        fs = '''for (var elm in document.getElementsByClass('.CodeMirror')) {
    elm.style.font_size = '%ipt';"
}''' % font_size

        logger.debug("Applying theme: %r", style)
        if len(themes.view_list) < 1:
            themes.get_view_list(self.superview)
            themes.get_view_list(self.superview.superview)
            themes.get_view_list(self.superview.fileViewer)
            themes.get_view_list(self.superview.fileViewer.listview)
            themes.get_view_list(self.superview.fileViewer.navview)

        def load():
            s = time.clock()
            self.superview.fileViewer.style = style
            self.superview.fileViewer.listview.reload()
            self.superview.fileViewer.set_style()
            themes.recursive_style_set(style)
            tv.eval_js("editor.setOption('theme', '%s')" % style)
            tv.eval_js("editor.setOption('tabSize', '%s')" % tab_size)
            tv.eval_js("editor.setOption('indentWithTabs', '%s')" % soft_tab)
            tv.eval_js("editor.setOption('lineWrapping', '%s')" % wrap)
            tv.eval_js("editor.setOption('lineNumbers', '%s')" % gutter)

            bc = themes.themes_data[style][0]
            tv.eval_js("document.body.style.backgroundColor = '%s'" % bc)

            e = time.clock()
            logger.debug("Took %.3f seconds to set the style", e - s)
            lg.close()

        ui.animate(load, duration=0.001, delay=0.001)
Ejemplo n.º 2
0
def configure(sender):
    sss_view = sender.superview.superview.superview
    ss_view = sender.superview.superview
    if sss_view:
        sss_view.config_view.present("sheet")
        sss_view.config_view.wait_modal()
        tv = sender.superview.superview["contentContainer"][
            "editor_view"]["WebEditor"]["web_view"]
        config = sss_view.config_view.config

        font_size = config.get_value("editor.font.size")
        gutter = config.get_value("editor.show.gutter")
        style = config.get_value("editor.style")
        margin = config.get_value("editor.print.margin")
        wrap = config.get_value("editor.line.wrap")
        soft_tab = config.get_value("editor.soft.tabs")
        tab_size = config.get_value("editor.tab.size")

        fs = '''for (var elm in document.getElementsByClass('.CodeMirror')) {
    elm.style.font_size = '%ipt';"
}''' % font_size

        if len(themes.view_list) < 1:
            themes.get_view_list(ss_view)
            themes.get_view_list(ss_view.superview)
            themes.get_view_list(ss_view.fileViewer)
            themes.get_view_list(ss_view.fileViewer.listview)
            themes.get_view_list(ss_view.fileViewer.navview)

        def load():
            s = time.clock()
            ss_view.fileViewer.style = style
            ss_view.fileViewer.listview.reload()
            ss_view.fileViewer.set_style()
            themes.recursive_style_set(style)
            tv.eval_js("editor.setOption('theme', '%s')" % style)
            tv.eval_js("editor.setOption('tabSize', '%s')" % tab_size)
            tv.eval_js("editor.setOption('indentWithTabs', '%s')" % soft_tab)
            tv.eval_js("editor.setOption('lineWrapping', '%s')" % wrap)
            tv.eval_js("editor.setOption('lineNumbers', '%s')" % gutter)

            bc = themes.themes_data[style][0]
            tv.eval_js("document.body.style.backgroundColor = '%s'" % bc)

            e = time.clock()
            logger.debug("Took %.3f seconds to set the style", e - s)
            # lg.close()

        ui.animate(load, duration=0.001, delay=0.001)
    else:
        console.alert("Configuration is only available through the Main View")