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 def GetCursorPos(old, new):

    23     if old == "":

    24         return 0

    25     old_length = len(old)

    26     new_length = len(new)

    27     common_length = min(old_length, new_length)

    28     i = 0

    29     for i in xrange(common_length):

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

    31             break

    32     if old_length < new_length:

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

    34             return i + new_length - old_length

    35         else:

    36             return i + new_length - old_length + 1

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

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

    39             return i

    40         else:

    41             return i + 1

    42     else:

    43         return None

    44 

    45 class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    46     

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

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

    49         

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

    51         

    52     def OnMotion(self, event):

    53         if wx.Platform == '__WXMSW__':

    54             if not event.Dragging():

    55                 x, y = event.GetPosition()

    56                 margin_width = reduce(

    57                         lambda x, y: x + y,

    58                         [self.LogConsole.GetMarginWidth(i)

    59                          for i in xrange(3)],

    60                         0)

    61                 if x <= margin_width:

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

    63                 else:

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

    65         else:

    66             event.Skip()

    67 

    68     def AppendText(self, text):

    69         last_position = self.GetLength()

    70         current_selection = self.GetSelection()

    71         self.GotoPos(last_position)

    72         self.AddText(text)

    73         if current_selection[0] != last_position:

    74             self.SetSelection(*current_selection)

    75         else:

    76             self.ScrollToLine(self.GetLineCount())