py_ext/PythonEditor.py
changeset 814 5743cbdff669
parent 753 05502e574589
child 920 1499a4d225db
equal deleted inserted replaced
813:1460273f40ed 814:5743cbdff669
     1 import wx
     1 import wx
     2 import wx.grid
     2 import wx.grid
     3 import wx.stc  as  stc
     3 import wx.stc  as  stc
     4 import keyword
     4 import keyword
     5 
     5 
     6 from ConfTreeNodeEditor import ConfTreeNodeEditor
     6 from editors.ConfTreeNodeEditor import ConfTreeNodeEditor
     7 
     7 
     8 if wx.Platform == '__WXMSW__':
     8 if wx.Platform == '__WXMSW__':
     9     faces = { 'times': 'Times New Roman',
     9     faces = { 'times': 'Times New Roman',
    10               'mono' : 'Courier New',
    10               'mono' : 'Courier New',
    11               'helv' : 'Arial',
    11               'helv' : 'Arial',