git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@28037
c3d73ce0-8a6f-49c7-b76d-
6d57e0e08775
settingsIdNames = {-1: 'Selection', -2: 'Caret', -3: 'Edge'}
settingsIdNames = {-1: 'Selection', -2: 'Caret', -3: 'Edge'}
-commonPropDefs = {'fore': '#888888', 'size': 8,
- 'face': wxSystemSettings_GetSystemFont(wxSYS_DEFAULT_GUI_FONT).GetFaceName()}
styleCategoryDescriptions = {
'----Language----': 'Styles spesific to the language',
styleCategoryDescriptions = {
'----Language----': 'Styles spesific to the language',
pos=wxPoint(88, 0), size=wxSize(16, 16), style=0)
def __init__(self, parent, langTitle, lang, configFile, STCsToUpdate=()):
pos=wxPoint(88, 0), size=wxSize(16, 16), style=0)
def __init__(self, parent, langTitle, lang, configFile, STCsToUpdate=()):
+ global commonPropDefs
+ commonPropDefs = {'fore': '#888888',
+ 'size': 8,
+ 'face': wxSystemSettings_GetSystemFont(wxSYS_DEFAULT_GUI_FONT).GetFaceName()}
+
self.stc_title = 'wxStyledTextCtrl Style Editor'
self.stc_title = 'wxStyledTextCtrl Style Editor - %s' % langTitle
if wxPlatform == '__WXMSW__':
self.stc_title = 'wxStyledTextCtrl Style Editor'
self.stc_title = 'wxStyledTextCtrl Style Editor - %s' % langTitle
if wxPlatform == '__WXMSW__':