1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
Do not insert erroneous character while pressing Shift key toghether with DEL or INSERT.
http://bugs.debian.org/347622
http://bugs.debian.org/347623
http://sourceforge.net/support/tracker.php?aid=1418091
Index: drpython-3.11.0/drShortcuts.py
===================================================================
--- drpython-3.11.0.orig/drShortcuts.py 2009-04-07 00:15:51.000000000 +0200
+++ drpython-3.11.0/drShortcuts.py 2009-04-07 00:17:01.000000000 +0200
@@ -333,6 +333,9 @@
stc.CmdKeyAssign(PreDefArray[i], modifiers, cmdlist[x])
x = x + 1
+ stc.CmdKeyAssign(wx.stc.STC_KEY_DELETE, wx.stc.STC_SCMOD_SHIFT, wx.stc.STC_CMD_CLEAR)
+ stc.CmdKeyAssign(wx.stc.STC_KEY_INSERT, wx.stc.STC_SCMOD_SHIFT, wx.stc.STC_CMD_EDITTOGGLEOVERTYPE)
+
return Shortcuts
def SetShortcuts(frame, Shortcuts, ShortcutNames, useDefault=0):
|
