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))