def SetValue(self, key, t=None, v=None, text=''):
""" Set a new couple key/(type,typed-value,text). """
if not key in self._prefs:
self._prefs[key] = wxOption(optiontype=t, optionvalue=v, optiontext=text)
self._prefs[key].set_value(v)
def __init__(self):
Theme.__init__(self)
# For the Main Frame
# ==================
self._choice['M_BG_COLOUR'] = wxOption('wx.Colour', (245,245,245), "Main background color")
self._choice['M_FG_COLOUR'] = wxOption('wx.Colour', (15,15,15), "Main foreground color")
self._choice['M_FONT'] = wxOption('wx.Font', (MAIN_FONTSIZE, wx.FONTFAMILY_DEFAULT, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_SYSTEM), "Font")
self._choice['M_FONT_COLOUR'] = wxOption('wx.Colour', (15,15,15), "Main font color")
self._choice['M_TIPS'] = wxOption('bool', True, 'Show tips at start-up')
self._choice['M_OUTPUT_EXT'] = wxOption('str', '.xra', "Output file format")
self._choice['M_ICON_THEME'] = wxOption('str', 'Default', "Icons theme")
# For the File Manager
# ====================
self._choice['F_SPACING'] = wxOption('int', 2)
def Copy(self):
"""
Return a deep copy of self.
"""
#import copy
#return copy.deepcopy( self._prefs ) -->
#BUG: TypeError: object.__new__(PySwigObject) is not safe, use PySwigObject.__new__()
cpref = Preferences_IO()
for key in self._prefs.keys():
if key == 'THEME':
cpref.SetTheme( self._prefs[key] )
else:
t = self._prefs[key].get_type()
v = self._prefs[key].get_untypedvalue()
txt = self._prefs[key].get_text()
opt = wxOption(t,v,txt)
cpref.SetOption(key, opt)
return cpref
def __init__(self):
Theme.__init__(self)
self._choice['M_BG_COLOUR'] = wxOption('wx.Colour', (250,250,245), "Main background color")
self._choice['M_FG_COLOUR'] = wxOption('wx.Colour', (28,22,22), "Main foreground color")
self._choice['M_FONT'] = wxOption('wx.Font', (MAIN_FONTSIZE, wx.FONTFAMILY_DEFAULT, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_SYSTEM), "Font")
self._choice['M_TIPS'] = wxOption('bool', True, 'Show tips at start-up')
self._choice['M_OUTPUT_EXT'] = wxOption('str', '.xra', "Output file format")
self._choice['M_ICON_THEME'] = wxOption('str', 'Default', "Icons theme")
self._choice['M_BGD_COLOUR'] = wxOption('wx.Colour', (240,240,230), "Secondary main background color")
self._choice['M_FGD_COLOUR'] = wxOption('wx.Colour', (80,80,100), "Secondary main foreground color")
# Menu
self._choice['M_BGM_COLOUR'] = wxOption('wx.Colour', (80,80,100), "Menu background color")
self._choice['M_FGM_COLOUR'] = wxOption('wx.Colour', (240,240,230), "Menu font color")
self._choice['F_SPACING'] = wxOption('int', 2)
def __init__(self):
BaseTheme.__init__(self)
# Display
self._choice['D_TIME_MIN'] = wxOption('float', 0.0, 'Minimum time value (in seconds) of the displayed period at start-up')
self._choice['D_TIME_MAX'] = wxOption('float', 2.0, 'Maximum time value (in seconds) of the displayed period at start-up')
self._choice['D_TIME_ZOOM_MIN'] = wxOption('float', 0.2, 'Minimum duration (in seconds) of the displayed period')
self._choice['D_TIME_ZOOM_MAX'] = wxOption('float', 300.0, 'Maximum duration (in seconds) of the displayed period')
self._choice['D_H_ZOOM'] = wxOption('float', 50.0, 'Time zoom (percentage)')
self._choice['D_SCROLL'] = wxOption('float', 75.0, 'Time scroll (percentage)')
self._choice['D_V_ZOOM'] = wxOption('float', 10.0, 'Vertical zoom (percentage)')
# spControl
self._choice['O_PEN_WIDTH'] = wxOption('int', 1)
self._choice['O_PEN_STYLE'] = wxOption('int', wx.SOLID)
self._choice['O_BRUSH_STYLE'] = wxOption('int', wx.SOLID)
self._choice['O_MARGIN'] = wxOption('int', 2, 'Margin around objects')
# Ruler
self._choice['R_BG_COLOUR'] = wxOption('wx.Colour', (255,255,255), 'Ruler background color')
self._choice['R_FG_COLOUR'] = wxOption('wx.Colour', (10,10,140))
self._choice['R_HANDLES_COLOUR'] = wxOption('wx.Colour', (10,10,140))
self._choice['R_FONT'] = wxOption('wx.Font', (8, wx.FONTFAMILY_TELETYPE, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['R_FONT_COLOUR'] = wxOption('wx.Colour', (10, 10, 140))
self._choice['R_HEIGHT'] = wxOption('int', 30, 'Initial height of the ruler')
# Separator
self._choice['S_COLOUR'] = wxOption('wx.Colour', (123,15,28))
self._choice['S_PEN_WIDTH'] = wxOption('int', 4)
# Tier
self._choice['T_BG_COLOUR'] = wxOption('wx.Colour', None, 'Tier background color') # Pick randomly
self._choice['T_FG_COLOUR'] = wxOption('wx.Colour', (10,60,10), 'Tier foreground color')
self._choice['T_RADIUS_COLOUR'] = wxOption('wx.Colour', (20,20,80), 'Color for the radius of points')
self._choice['T_HANDLES_COLOUR'] = wxOption('wx.Colour', (140,10,10), 'Color of the handles of a transcription')
self._choice['T_FONT'] = wxOption('wx.Font', (9, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['T_FONT_COLOUR'] = wxOption('wx.Colour', (140, 10, 10), 'Font color')
self._choice['T_LABEL_ALIGN'] = wxOption('wx.ALIGN', 'center', 'Text alignment for labels')
self._choice['T_HEIGHT'] = wxOption('int', 30, 'Initial height of a tier')
# Wave
self._choice['W_BG_COLOUR'] = wxOption('wx.Colour', (255,255,255), 'Wave background color')
self._choice['W_FG_COLOUR'] = wxOption('wx.Colour', (10,140,10), 'Wave foreground color')
self._choice['W_BG_GRADIENT_COLOUR'] = wxOption('wx.Colour', (228,228,228), 'Wave background gradient color')
self._choice['W_HANDLES_COLOUR'] = wxOption('wx.Colour', (10,140,10), 'Color of the handles of a wave')
self._choice['W_FONT'] = wxOption('wx.Font', (9, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['W_FONT_COLOUR'] = wxOption('wx.Colour', (10, 140, 10), 'Font color')
self._choice['W_FG_DISCO'] = wxOption('bool', False, 'Foreground in a Disco style')
self._choice['W_AUTOSCROLL'] = wxOption('bool', True, 'Automatic vertical scroll of speech')
self._choice['W_HEIGHT'] = wxOption('int', 100, 'Initial height of a wave')
def __init__(self):
ThemeDefault.__init__(self)
# Ruler
self._choice['R_BG_COLOUR'] = wxOption('wx.Colour', (255,255,255))
self._choice['R_FG_COLOUR'] = wxOption('wx.Colour', (105,105,205))
self._choice['R_HANDLES_COLOUR'] = wxOption('wx.Colour', (167,42,152))
self._choice['R_FONT'] = wxOption('wx.Font', (10, wx.FONTFAMILY_TELETYPE, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['R_FONT_COLOUR'] = wxOption('wx.Colour', (105, 105, 205))
# Separator
self._choice['S_COLOUR'] = wxOption('wx.Colour', (123,15,28))
self._choice['S_PEN_WIDTH'] = wxOption('int', 4)
# Tiers:
self._choice['T_BG_COLOUR'] = wxOption('wx.Colour', (232,185,229))
self._choice['T_RADIUS_COLOUR'] = wxOption('wx.Colour', (167,42,152))
self._choice['T_FG_COLOUR'] = wxOption('wx.Colour', (167,42,152))
self._choice['T_FONT'] = wxOption('wx.Font', (9, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['T_FONT_COLOUR'] = wxOption('wx.Colour', (10, 20, 10))
# Wave
self._choice['W_FG_DISCO'] = wxOption('bool', True)
self._choice['W_BG_GRADIENT_COLOUR'] = wxOption('wx.Colour', (232,185,229))
self._choice['W_FG_COLOUR'] = wxOption('wx.Colour', (167,42,152))
self._choice['W_BG_COLOUR'] = wxOption('wx.Colour', (255,255,255))
self._choice['W_FONT'] = wxOption('wx.Font', (8, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
def __init__(self):
ThemeDefault.__init__(self)
# Ruler
self._choice['R_BG_COLOUR'] = wxOption('wx.Colour', (166,166,166))
self._choice['R_FG_COLOUR'] = wxOption('wx.Colour', (20,20,20))
self._choice['R_HANDLES_COLOUR'] = wxOption('wx.Colour', (0,0,211))
self._choice['R_FONT'] = wxOption('wx.Font', (10, wx.FONTFAMILY_SWISS, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['R_FONT_COLOUR'] = wxOption('wx.Colour', (20, 20, 20))
# Separator
self._choice['S_COLOUR'] = wxOption('wx.Colour', (166,216,246))
self._choice['S_PEN_WIDTH'] = wxOption('int', 2)
# Tiers:
self._choice['T_BG_COLOUR'] = wxOption('wx.Colour', (225,225,225))
self._choice['T_RADIUS_COLOUR'] = wxOption('wx.Colour', (0,0,211))
self._choice['T_FG_COLOUR'] = wxOption('wx.Colour', (10,10,10))
self._choice['T_FONT'] = wxOption('wx.Font', (10, wx.FONTFAMILY_ROMAN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['T_FONT_COLOUR'] = wxOption('wx.Colour', (0, 0, 0))
# Wave
self._choice['W_FG_DISCO'] = wxOption('bool', False)
self._choice['W_BG_GRADIENT_COLOUR'] = wxOption('wx.Colour', (255,255,255))
self._choice['W_FG_COLOUR'] = wxOption('wx.Colour', (10,10,10))
self._choice['W_BG_COLOUR'] = wxOption('wx.Colour', (225,225,225))
self._choice['W_FONT'] = wxOption('wx.Font', (8, wx.FONTFAMILY_ROMAN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
def __init__(self):
ThemeDefault.__init__(self)
# Ruler
self._choice['R_BG_COLOUR'] = wxOption('wx.Colour', (235,238,233))
self._choice['R_FG_COLOUR'] = wxOption('wx.Colour', (123,15,28))
self._choice['R_HANDLES_COLOUR'] = wxOption('wx.Colour', (130,40,10))
self._choice['R_FONT'] = wxOption('wx.Font', (10, wx.FONTFAMILY_TELETYPE, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['R_FONT_COLOUR'] = wxOption('wx.Colour', (130,130,130))
# Separator
self._choice['S_COLOUR'] = wxOption('wx.Colour', (123,15,28))
self._choice['S_PEN_WIDTH'] = wxOption('int', 2)
# Tier
self._choice['T_BG_COLOUR'] = wxOption('wx.Colour', (135,138,133))
self._choice['T_RADIUS_COLOUR'] = wxOption('wx.Colour', (252,175,62))
self._choice['T_FG_COLOUR'] = wxOption('wx.Colour', (252,175,62))
self._choice['T_FONT'] = wxOption('wx.Font', (10, wx.FONTFAMILY_MODERN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
self._choice['T_FONT_COLOUR'] = wxOption('wx.Colour', (50, 50, 50))
# Wave
self._choice['W_FG_DISCO'] = wxOption('bool', False)
self._choice['W_BG_COLOUR'] = wxOption('wx.Colour', (135,138,133))
self._choice['W_FG_COLOUR'] = wxOption('wx.Colour', (252,175,62))
self._choice['W_BG_GRADIENT_COLOUR'] = wxOption('wx.Colour', (86, 88, 84))
self._choice['T_FONT'] = wxOption('wx.Font', (8, wx.FONTFAMILY_MODERN, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL, False, '', wx.FONTENCODING_UTF8))
