author | Edouard Tisserant |
Fri, 25 Nov 2022 11:12:14 +0100 | |
changeset 3702 | 6dc619fa28aa |
parent 2704 | 4ba3bdc7d71f |
child 3303 | 0ffb41625592 |
permissions | -rw-r--r-- |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
1 |
#!/usr/bin/env python |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
2 |
# -*- coding: utf-8 -*- |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
3 |
|
1511
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
4 |
# This file is part of Beremiz, a Integrated Development Environment for |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
5 |
# programming IEC 61131-3 automates supporting plcopen standard and CanFestival. |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
6 |
# |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
7 |
# Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
8 |
# |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
9 |
# See COPYING file for copyrights details. |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
10 |
# |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
11 |
# This program is free software; you can redistribute it and/or |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
12 |
# modify it under the terms of the GNU General Public License |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
13 |
# as published by the Free Software Foundation; either version 2 |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
14 |
# of the License, or (at your option) any later version. |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
15 |
# |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
16 |
# This program is distributed in the hope that it will be useful, |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
17 |
# but WITHOUT ANY WARRANTY; without even the implied warranty of |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
18 |
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
19 |
# GNU General Public License for more details. |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
20 |
# |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
21 |
# You should have received a copy of the GNU General Public License |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
22 |
# along with this program; if not, write to the Free Software |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
23 |
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
91538d0c242c
add copyright notices to python files where there were missing, that
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1104
diff
changeset
|
24 |
|
1881
091005ec69c4
fix pylint py3k conversion warning: "(no-absolute-import) import missing `from __future__ import absolute_import`"
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1878
diff
changeset
|
25 |
|
091005ec69c4
fix pylint py3k conversion warning: "(no-absolute-import) import missing `from __future__ import absolute_import`"
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1878
diff
changeset
|
26 |
from __future__ import absolute_import |
2456
7373e3048167
python3 support: pylint,W1610 # (reduce-builtin) reduce built-in referenced
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
2432
diff
changeset
|
27 |
from functools import reduce |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
28 |
import wx |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
29 |
import wx.stc |
2432
dbc065a2f7a5
python3 support: pylint, W1613 # (xrange-builtin) xrange built-in referenced
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1881
diff
changeset
|
30 |
from six.moves import xrange |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
31 |
|
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
32 |
if wx.Platform == '__WXMSW__': |
1747
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
33 |
faces = { |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
34 |
'times': 'Times New Roman', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
35 |
'mono': 'Courier New', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
36 |
'helv': 'Arial', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
37 |
'other': 'Comic Sans MS', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
38 |
'size': 10, |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
39 |
} |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
40 |
else: |
1747
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
41 |
faces = { |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
42 |
'times': 'Times', |
2704
4ba3bdc7d71f
Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
2456
diff
changeset
|
43 |
'mono': 'FreeMono', |
1747
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
44 |
'helv': 'Helvetica', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
45 |
'other': 'new century schoolbook', |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
46 |
'size': 12, |
6046ffa2280f
clean-up: fix PEP8 E201 whitespace after '{'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1739
diff
changeset
|
47 |
} |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
48 |
|
1104
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
49 |
NAVIGATION_KEYS = [ |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
50 |
wx.WXK_END, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
51 |
wx.WXK_HOME, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
52 |
wx.WXK_LEFT, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
53 |
wx.WXK_UP, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
54 |
wx.WXK_RIGHT, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
55 |
wx.WXK_DOWN, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
56 |
wx.WXK_PAGEUP, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
57 |
wx.WXK_PAGEDOWN, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
58 |
wx.WXK_NUMPAD_HOME, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
59 |
wx.WXK_NUMPAD_LEFT, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
60 |
wx.WXK_NUMPAD_UP, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
61 |
wx.WXK_NUMPAD_RIGHT, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
62 |
wx.WXK_NUMPAD_DOWN, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
63 |
wx.WXK_NUMPAD_PAGEUP, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
64 |
wx.WXK_NUMPAD_PAGEDOWN, |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
65 |
wx.WXK_NUMPAD_END] |
017cd95bc07e
Added support for excluding code section headers to be modified in CodeFileEditor
Laurent Bessard
parents:
1092
diff
changeset
|
66 |
|
1736
7e61baa047f0
clean-up: fix PEP8 E302 expected 2 blank lines, found 1
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1735
diff
changeset
|
67 |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
68 |
def GetCursorPos(old, new): |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
69 |
if old == "": |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
70 |
return 0 |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
71 |
old_length = len(old) |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
72 |
new_length = len(new) |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
73 |
common_length = min(old_length, new_length) |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
74 |
i = 0 |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
75 |
for i in xrange(common_length): |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
76 |
if old[i] != new[i]: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
77 |
break |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
78 |
if old_length < new_length: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
79 |
if common_length > 0 and old[i] != new[i]: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
80 |
return i + new_length - old_length |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
81 |
else: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
82 |
return i + new_length - old_length + 1 |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
83 |
elif old_length > new_length or i < min(old_length, new_length) - 1: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
84 |
if common_length > 0 and old[i] != new[i]: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
85 |
return i |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
86 |
else: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
87 |
return i + 1 |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
88 |
else: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
89 |
return None |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
90 |
|
1736
7e61baa047f0
clean-up: fix PEP8 E302 expected 2 blank lines, found 1
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1735
diff
changeset
|
91 |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
92 |
class CustomStyledTextCtrl(wx.stc.StyledTextCtrl): |
1735
c02818d7e29f
clean-up: fix PEP8 W293 blank line contains whitespace
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1511
diff
changeset
|
93 |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
94 |
def __init__(self, *args, **kwargs): |
1092 | 95 |
wx.stc.StyledTextCtrl.__init__(self, *args, **kwargs) |
1735
c02818d7e29f
clean-up: fix PEP8 W293 blank line contains whitespace
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1511
diff
changeset
|
96 |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
97 |
self.Bind(wx.EVT_MOTION, self.OnMotion) |
1735
c02818d7e29f
clean-up: fix PEP8 W293 blank line contains whitespace
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1511
diff
changeset
|
98 |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
99 |
def OnMotion(self, event): |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
100 |
if wx.Platform == '__WXMSW__': |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
101 |
if not event.Dragging(): |
1847
6198190bc121
explicitly mark unused variables found by pylint with _ or dummy
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1747
diff
changeset
|
102 |
x, _y = event.GetPosition() |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
103 |
margin_width = reduce( |
1878
fb73a6b6622d
fix pylint warning '(bad-continuation) Wrong hanging indentation before block'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1847
diff
changeset
|
104 |
lambda x, y: x + y, |
fb73a6b6622d
fix pylint warning '(bad-continuation) Wrong hanging indentation before block'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1847
diff
changeset
|
105 |
[self.GetMarginWidth(i) for i in xrange(3)], |
fb73a6b6622d
fix pylint warning '(bad-continuation) Wrong hanging indentation before block'
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents:
1847
diff
changeset
|
106 |
0) |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
107 |
if x <= margin_width: |
1092 | 108 |
self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW)) |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
109 |
else: |
1092 | 110 |
self.SetCursor(wx.StockCursor(wx.CURSOR_IBEAM)) |
111 |
else: |
|
112 |
event.Skip() |
|
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
113 |
else: |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
114 |
event.Skip() |
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
115 |
|
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
116 |
def AppendText(self, text): |
1092 | 117 |
self.GotoPos(self.GetLength()) |
1091
5f612651d227
Fixed bug with margin cursor in StyledTextCtrl on Windows
Laurent Bessard
parents:
diff
changeset
|
118 |
self.AddText(text) |