API Reference for Enthought Tool Suite 2.7.1
A plugin that offers a UI for user preferences.
edit_preferences_action = Action(id = 'enthought.envisage.ui.preference.action.EditPreferencesAction', class_name = 'enthought.envisage.ui.preference.action.EditPreferencesAction', name = '&Preferences', image = 'images/edit_preferences.png', description = 'Edit user preferences', tooltip = 'Edit user preferences', menu_bar_path = 'ToolsMenu/End', tool_bar_path = '')
preference_pages = PreferencePages(pages = [ workbench_preference_page ])
ui_actions = UIActions(menus = [ tools_menu ], actions = [ edit_preferences_action ])
workbench_preference_page = Page(id = 'enthought.envisage.ui.preference.UIPreferencePage', class_name = 'enthought.envisage.ui.preference.UIPreferencePage', name = 'Workbench', category = '', help_id = 'enlib|HID_Workbench_Preferences')
Copyright © 2002-2008 Enthought, Inc.