micropi.py 文件源码

def run(self):
        result = super(SettingsDialog, self).run()
        if result == gtk.RESPONSE_OK:
            SETTINGS["quickstart"] = self.s1.get_active()
            SETTINGS["theme"] = "dark" if self.rb2.get_active() else "light"
            SETTINGS["mbitLocation"] = self.fcb1.get_filename() if self.fcb1.get_filename() else SETTINGS["mbitLocation"]
            saveSettings()

            if SETTINGS['theme'] == 'dark':
                colour = gtk.gdk.color_parse(DARKCOL)
            else:
                colour = gtk.gdk.color_parse(LIGHTCOL)

            for w in OPENWINDOWS:
                w.window.modify_bg(gtk.STATE_NORMAL, colour)

                mgr = gtkSourceView.style_scheme_manager_get_default()
                w.style_scheme = mgr.get_scheme('tango' if SETTINGS['theme']=='light' else 'oblivion')
                for f in w.notebook:
                    f.get_child().props.buffer.set_style_scheme(w.style_scheme)
                w.serialConsole.window.modify_bg(gtk.STATE_NORMAL, colour)
                if SENDIMAGE: w.serialConsole.imageCreator.window.modify_bg(gtk.STATE_NORMAL, colour)
                w.serialConsole.consoleBody.props.buffer.set_style_scheme(w.style_scheme)
                w.consoleBody.props.buffer.set_style_scheme(w.style_scheme)

        self.destroy()