controls/CustomStyledTextCtrl.py
branchpython3
changeset 3752 9f6f46dbe3ae
parent 3750 f62625418bff
child 3795 223a91584172
equal deleted inserted replaced
3751:a80a66ba52d6 3752:9f6f46dbe3ae
    21 # You should have received a copy of the GNU General Public License
    21 # You should have received a copy of the GNU General Public License
    22 # along with this program; if not, write to the Free Software
    22 # along with this program; if not, write to the Free Software
    23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    23 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    24 
    24 
    25 
    25 
    26 
       
    27 from functools import reduce
    26 from functools import reduce
    28 import wx
    27 import wx
    29 import wx.stc
    28 import wx.stc
    30 from six.moves import xrange
       
    31 
    29 
    32 if wx.Platform == '__WXMSW__':
    30 if wx.Platform == '__WXMSW__':
    33     faces = {
    31     faces = {
    34         'times': 'Times New Roman',
    32         'times': 'Times New Roman',
    35         'mono':  'Courier New',
    33         'mono':  'Courier New',