Program preferences.
-
class bestgui.preferences.OptionsDialog(filename, cfg=None, parent=None)
-
get_level_index(level)
-
get_options()
-
on_entry_activate(widget=None)
-
on_open_button_clicked(widget=None)
-
on_use_env_checkbutton_toggled(widget=None)
-
set_options(cfg)
-
use_environment(use_env=True)
-
class bestgui.preferences.Settings(filename=None)
-
get_cfg()
-
load(filename)
-
save(filename=None)
-
set_env()
- @DEPRECATED: pass the ful executable path, workdir and env
to the subprocess controller.
-
update(cfg)
-
bestgui.preferences.get_best_flagfile(toolname='best', env=None)
- Returns the BEST FLAGFILE full path name if available or None.
-
bestgui.preferences.get_best_home(toolname='best', env=None)
- Returns the BESTHOME directory if available or None.
-
bestgui.preferences.get_bestbin(toolname='best', env=None)
- Returns the absolute path name of the BEST executable if available or
None.