controls/CustomStyledTextCtrl.py
changeset 2432 dbc065a2f7a5
parent 1881 091005ec69c4
child 2456 7373e3048167
equal deleted inserted replaced
2431:6923074540dd 2432:dbc065a2f7a5
    24 
    24 
    25 
    25 
    26 from __future__ import absolute_import
    26 from __future__ import absolute_import
    27 import wx
    27 import wx
    28 import wx.stc
    28 import wx.stc
       
    29 from six.moves import xrange
    29 
    30 
    30 if wx.Platform == '__WXMSW__':
    31 if wx.Platform == '__WXMSW__':
    31     faces = {
    32     faces = {
    32         'times': 'Times New Roman',
    33         'times': 'Times New Roman',
    33         'mono':  'Courier New',
    34         'mono':  'Courier New',