def apply(self):
get_workbench().set_option(
"general.language",
languages.get_language_code_by_name(self._language_name_var.get()))
get_workbench().update_debug_mode()
env = []
for entry in self.env_box.text.get("1.0",
"end").strip("\r\n").splitlines():
env.append(entry.strip("\r\n"))
get_workbench().set_option("general.environment", env)
def on_ok(self):
if self.mode_variable.get() == RPI_MODE_TEXT:
self.conf.set_option("debugger.preferred_debugger", "faster")
self.conf.set_option("view.ui_theme", "Raspberry Pi")
self.conf.set_option("general.ui_mode", "simple")
self.conf.set_option(
"general.language",
languages.get_language_code_by_name(self.language_variable.get()))
self.conf.save()
self.ok = True
self.destroy()
def apply(self):
get_workbench().set_option(
"general.language",
languages.get_language_code_by_name(self._language_name_var.get()))