1

#!/usr/bin/env python

     2

# -*- coding: utf-8 -*-

     3

     4

import wx

     5

import wx.stc

     6

     7

if wx.Platform == '__WXMSW__':

     8

    faces = { 'times': 'Times New Roman',

     9

              'mono' : 'Courier New',

    10

              'helv' : 'Arial',

    11

              'other': 'Comic Sans MS',

    12

              'size' : 10,

    13

             }

    14

else:

    15

    faces = { 'times': 'Times',

    16

              'mono' : 'Courier',

    17

              'helv' : 'Helvetica',

    18

              'other': 'new century schoolbook',

    19

              'size' : 12,

    20

             }

    21

    22

NAVIGATION_KEYS = [

    23

    wx.WXK_END,

    24

    wx.WXK_HOME,

    25

    wx.WXK_LEFT,

    26

    wx.WXK_UP,

    27

    wx.WXK_RIGHT,

    28

    wx.WXK_DOWN,

    29

    wx.WXK_PAGEUP,

    30

    wx.WXK_PAGEDOWN,

    31

    wx.WXK_NUMPAD_HOME,

    32

    wx.WXK_NUMPAD_LEFT,

    33

    wx.WXK_NUMPAD_UP,

    34

    wx.WXK_NUMPAD_RIGHT,

    35

    wx.WXK_NUMPAD_DOWN,

    36

    wx.WXK_NUMPAD_PAGEUP,

    37

    wx.WXK_NUMPAD_PAGEDOWN,

    38

    wx.WXK_NUMPAD_END]

    39

    40

def GetCursorPos(old, new):

    41

    if old == "":

    42

        return 0

    43

    old_length = len(old)

    44

    new_length = len(new)

    45

    common_length = min(old_length, new_length)

    46

    i = 0

    47

    for i in xrange(common_length):

    48

        if old[i] != new[i]:

    49

            break

    50

    if old_length < new_length:

    51

        if common_length > 0 and old[i] != new[i]:

    52

            return i + new_length - old_length

    53

        else:

    54

            return i + new_length - old_length + 1

    55

    elif old_length > new_length or i < min(old_length, new_length) - 1:

    56

        if common_length > 0 and old[i] != new[i]:

    57

            return i

    58

        else:

    59

            return i + 1

    60

    else:

    61

        return None

    62

    63

class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    64

    65

    def __init__(self, *args, **kwargs):

    66

        wx.stc.StyledTextCtrl.__init__(self, *args, **kwargs)

    67

    68

        self.Bind(wx.EVT_MOTION, self.OnMotion)

    69

    70

    def OnMotion(self, event):

    71

        if wx.Platform == '__WXMSW__':

    72

            if not event.Dragging():

    73

                x, y = event.GetPosition()

    74

                margin_width = reduce(

    75

                        lambda x, y: x + y,

    76

                        [self.GetMarginWidth(i)

    77

                         for i in xrange(3)],

    78

                        0)

    79

                if x <= margin_width:

    80

                    self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW))

    81

                else:

    82

                    self.SetCursor(wx.StockCursor(wx.CURSOR_IBEAM))

    83

            else:

    84

                event.Skip()

    85

        else:

    86

            event.Skip()

    87

    88

    def AppendText(self, text):

    89

        self.GotoPos(self.GetLength())

    90

        self.AddText(text)