File: shift_keys

package info (click to toggle)
drpython 1%3A3.11.1-2
  • links: PTS
  • area: main
  • in suites: squeeze, wheezy
  • size: 3,400 kB
  • ctags: 2,366
  • sloc: python: 16,315; makefile: 5; sh: 1
file content (19 lines) | stat: -rw-r--r-- 855 bytes parent folder | download
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):