apptools.preferences.ui.preferences_manager module

The preferences manager.

class apptools.preferences.ui.preferences_manager.PreferencesHelpWindow[source]

Bases: traits.has_traits.HasTraits

Container class to present a view with string info.

traits_view()[source]

Default view to show for this class.

class apptools.preferences.ui.preferences_manager.PreferencesManager[source]

Bases: traits.has_traits.HasTraits

The preferences manager.

apply()[source]

Apply all changes made in the manager.

traits_view()[source]

Default traits view for this class.

class apptools.preferences.ui.preferences_manager.PreferencesManagerHandler[source]

Bases: traitsui.handler.Handler

The traits UI handler for the preferences manager.

apply(info)[source]

Handle the Apply button being clicked.

close(info, is_ok)[source]

Close a dialog-based user interface.

init(info)[source]

Initialize the controls of a user interface.

preferences_help(info)[source]

Custom preferences help panel. The Traits help doesn’t work.