1

#!/usr/bin/env python

     2

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

     3

    25

import wx

    26

import wx.stc

    27

    28

if wx.Platform == '__WXMSW__':

    29

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

    30

              'mono' : 'Courier New',

    31

              'helv' : 'Arial',

    32

              'other': 'Comic Sans MS',

    33

              'size' : 10,

    34

             }

    35

else:

    36

    faces = { 'times': 'Times',

    37

              'mono' : 'Courier',

    38

              'helv' : 'Helvetica',

    39

              'other': 'new century schoolbook',

    40

              'size' : 12,

    41

             }

    42

    43

NAVIGATION_KEYS = [

    44

    wx.WXK_END,

    45

    wx.WXK_HOME,

    46

    wx.WXK_LEFT,

    47

    wx.WXK_UP,

    48

    wx.WXK_RIGHT,

    49

    wx.WXK_DOWN,

    50

    wx.WXK_PAGEUP,

    51

    wx.WXK_PAGEDOWN,

    52

    wx.WXK_NUMPAD_HOME,

    53

    wx.WXK_NUMPAD_LEFT,

    54

    wx.WXK_NUMPAD_UP,

    55

    wx.WXK_NUMPAD_RIGHT,

    56

    wx.WXK_NUMPAD_DOWN,

    57

    wx.WXK_NUMPAD_PAGEUP,

    58

    wx.WXK_NUMPAD_PAGEDOWN,

    59

    wx.WXK_NUMPAD_END]

    60

    61

def GetCursorPos(old, new):

    62

    if old == "":

    63

        return 0

    64

    old_length = len(old)

    65

    new_length = len(new)

    66

    common_length = min(old_length, new_length)

    67

    i = 0

    68

    for i in xrange(common_length):

    69

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

    70

            break

    71

    if old_length < new_length:

    72

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

    73

            return i + new_length - old_length

    74

        else:

    75

            return i + new_length - old_length + 1

    76

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

    77

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

    78

            return i

    79

        else:

    80

            return i + 1

    81

    else:

    82

        return None

    83

    84

class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    85

    86

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

    87

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

    88

    89

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

    90

    91

    def OnMotion(self, event):

    92

        if wx.Platform == '__WXMSW__':

    93

            if not event.Dragging():

    94

                x, y = event.GetPosition()

    95

                margin_width = reduce(

    96

                        lambda x, y: x + y,

    97

                        [self.GetMarginWidth(i)

    98

                         for i in xrange(3)],

    99

                        0)

   100

                if x <= margin_width:

   101

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

   102

                else:

   103

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

   104

            else:

   105

                event.Skip()

   106

        else:

   107

            event.Skip()

   108

   109

    def AppendText(self, text):

   110

        self.GotoPos(self.GetLength())

   111

        self.AddText(text)