equal
deleted
inserted
replaced
16 'mono' : 'Courier', |
16 'mono' : 'Courier', |
17 'helv' : 'Helvetica', |
17 'helv' : 'Helvetica', |
18 'other': 'new century schoolbook', |
18 'other': 'new century schoolbook', |
19 'size' : 12, |
19 'size' : 12, |
20 } |
20 } |
|
21 |
|
22 NAVIGATION_KEYS = [ |
|
23 wx.WXK_END, |
|
24 wx.WXK_HOME, |
|
25 wx.WXK_LEFT, |
|
26 wx.WXK_UP, |
|
27 wx.WXK_RIGHT, |
|
28 wx.WXK_DOWN, |
|
29 wx.WXK_PAGEUP, |
|
30 wx.WXK_PAGEDOWN, |
|
31 wx.WXK_NUMPAD_HOME, |
|
32 wx.WXK_NUMPAD_LEFT, |
|
33 wx.WXK_NUMPAD_UP, |
|
34 wx.WXK_NUMPAD_RIGHT, |
|
35 wx.WXK_NUMPAD_DOWN, |
|
36 wx.WXK_NUMPAD_PAGEUP, |
|
37 wx.WXK_NUMPAD_PAGEDOWN, |
|
38 wx.WXK_NUMPAD_END] |
21 |
39 |
22 def GetCursorPos(old, new): |
40 def GetCursorPos(old, new): |
23 if old == "": |
41 if old == "": |
24 return 0 |
42 return 0 |
25 old_length = len(old) |
43 old_length = len(old) |