$Date: 2005/10/23 11:07:51 $
$Revision: 1.9 $
-- Default colors for all widgets
-- Default delegates for all widgets
-- Default fonts for all widgets
-- Set theme_colors to a_theme_colors.
-- Set theme_delegates to a_theme_delegates.
-- Load default theme.
-- Load eclipse theme.
Shared access to theme singletons.