1

#!/usr/bin/env python

     2

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

     3

     4

# This file is part of Beremiz, a Integrated Development Environment for

     5

# programming IEC 61131-3 automates supporting plcopen standard and CanFestival.

     6

#

     7

# Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD

     8

#

     9

# See COPYING file for copyrights details.

    10

#

    11

# This program is free software; you can redistribute it and/or

    12

# modify it under the terms of the GNU General Public License

    13

# as published by the Free Software Foundation; either version 2

    14

# of the License, or (at your option) any later version.

    15

#

    16

# This program is distributed in the hope that it will be useful,

    17

# but WITHOUT ANY WARRANTY; without even the implied warranty of

    18

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    19

# GNU General Public License for more details.

    20

#

    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

    23

# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.

    24

    25

    26

from functools import reduce

    27

import wx

    28

import wx.stc

    29

    30

if wx.Platform == '__WXMSW__':

    31

    faces = {

    32

        'times': 'Times New Roman',

    33

        'mono':  'Courier New',

    34

        'helv':  'Arial',

    35

        'other': 'Comic Sans MS',

    36

        'size':  10,

    37

    }

    38

else:

    39

    faces = {

    40

        'times': 'Times',

    41

        'mono':  'FreeMono',

    42

        'helv':  'Helvetica',

    43

        'other': 'new century schoolbook',

    44

        'size':  12,

    45

    }

    46

    47

NAVIGATION_KEYS = [

    48

    wx.WXK_END,

    49

    wx.WXK_HOME,

    50

    wx.WXK_LEFT,

    51

    wx.WXK_UP,

    52

    wx.WXK_RIGHT,

    53

    wx.WXK_DOWN,

    54

    wx.WXK_PAGEUP,

    55

    wx.WXK_PAGEDOWN,

    56

    wx.WXK_NUMPAD_HOME,

    57

    wx.WXK_NUMPAD_LEFT,

    58

    wx.WXK_NUMPAD_UP,

    59

    wx.WXK_NUMPAD_RIGHT,

    60

    wx.WXK_NUMPAD_DOWN,

    61

    wx.WXK_NUMPAD_PAGEUP,

    62

    wx.WXK_NUMPAD_PAGEDOWN,

    63

    wx.WXK_NUMPAD_END]

    64

    65

    66

def GetCursorPos(old, new):

    67

    if old == "":

    68

        return 0

    69

    old_length = len(old)

    70

    new_length = len(new)

    71

    common_length = min(old_length, new_length)

    72

    i = 0

    73

    for i in range(common_length):

    74

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

    75

            break

    76

    if old_length < new_length:

    77

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

    78

            return i + new_length - old_length

    79

        else:

    80

            return i + new_length - old_length + 1

    81

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

    82

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

    83

            return i

    84

        else:

    85

            return i + 1

    86

    else:

    87

        return None

    88

    89

    90

class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    91

    92

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

    93

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

    94

    95

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

    96

    97

    def OnMotion(self, event):

    98

        if wx.Platform == '__WXMSW__':

    99

            if not event.Dragging():

   100

                x, _y = event.GetPosition()

   101

                margin_width = reduce(

   102

                    lambda x, y: x + y,

   103

                    [self.GetMarginWidth(i) for i in range(3)],

   104

                    0)

   105

                if x <= margin_width:

   106

                    self.SetCursor(wx.Cursor(wx.CURSOR_ARROW))

   107

                else:

   108

                    self.SetCursor(wx.Cursor(wx.CURSOR_IBEAM))

   109

            else:

   110

                event.Skip()

   111

        else:

   112

            event.Skip()

   113

   114

    def AppendText(self, text):

   115

        self.GotoPos(self.GetLength())

   116

        self.AddText(text)

   117

   118

    if wx.VERSION < (4, 1, 0):

   119

        def StartStyling(self, pos, mask=0xff):

   120

            wx.stc.StyledTextCtrl.StartStyling(self, pos, mask)

   121

    else:

   122

        def StartStyling(self, pos, *ignored):

   123

            wx.stc.StyledTextCtrl.StartStyling(self, pos)