API Reference for Enthought Tool Suite 3.2.0
Text Editor plugin definition.
The plugin's globally unique identifier (also used as the prefix for all identifiers defined in this module).
ID = 'enthought.plugins.refresh_code'
Are we using the old UI plugin, or the shiny new Workbench plugin?
USING_WORKBENCH = get_using_workbench()
© Copyright 2002-2009 Enthought, Inc.