annotate gui/wm/wsmkeys.h @ 23572:a00685941686

demux_mkv very long seek fix The seek code searching for the closest position in the index used "int64_t min_diff=0xFFFFFFFL" as the initial "further from the goal than any real alternative" value. The unit is milliseconds so seeks more than about 75 hours past the end of the file would fail to recognize the last index position as the best match. This was triggered in practice by chapter seek code which apparently uses a seek of 1000000000 seconds forward to mean "seek to the end". The practical effect was that trying to seek to the next chapter in a file without chapters made MPlayer block until it finished reading the file from the current position to the end. Fixed by increasing the initial value from FFFFFFF to FFFFFFFFFFFFFFF.
author uau
date Wed, 20 Jun 2007 18:19:03 +0000
parents 17bf4f4b0715
children 39da13b211b6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23077
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
1
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
2 #include "wskeys.h"
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
3
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
4 TwsKeyNames wsKeyNames[ wsKeyNumber ] =
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
5 {
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
6 { wsq, "q" }, { wsa, "a" }, { wsz, "z" }, { wsw, "w" }, { wss, "s" }, { wsx, "x" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
7 { wse, "e" }, { wsd, "d" }, { wsr, "r" }, { wsf, "f" }, { wsv, "v" }, { wst, "t" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
8 { wsg, "g" }, { wsb, "b" }, { wsy, "y" }, { wsh, "h" }, { wsn, "n" }, { wsu, "u" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
9 { wsj, "j" }, { wsm, "m" }, { wsi, "i" }, { wsk, "k" }, { wso, "o" }, { wsl, "l" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
10 { wsp, "p" }, { wsc, "c" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
11
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
12 { wsQ, "Q" }, { wsA, "A" }, { wsZ, "Z" }, { wsW, "W" }, { wsS, "S" }, { wsX, "X" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
13 { wsE, "E" }, { wsD, "D" }, { wsR, "R" }, { wsF, "F" }, { wsV, "V" }, { wsT, "T" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
14 { wsG, "G" }, { wsB, "B" }, { wsY, "Y" }, { wsH, "H" }, { wsN, "N" }, { wsU, "U" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
15 { wsJ, "J" }, { wsM, "M" }, { wsI, "I" }, { wsK, "K" }, { wsO, "O" }, { wsL, "L" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
16 { wsP, "P" }, { wsC, "C" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
17
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
18 { wsUp, "Up" }, { wsDown, "Down" }, { wsLeft, "Left" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
19 { wsRight, "Right" }, { wsPageUp, "PageUp" }, { wsPageDown, "PageDown" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
20
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
21 { wsLeftCtrl, "LeftCtrl" }, { wsRightCtrl, "RightCtrl" }, { wsLeftAlt, "LeftAlt" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
22 { wsRightAlt, "RightAlt" }, { wsLeftShift, "LeftShift" }, { wsRightShift, "RightShift" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
23
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
24
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
25 { wsBackSpace, "BackSpace" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
26 { wsCapsLock, "CapsLock" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
27 { wsNumLock, "NumLock" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
28
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
29 { wsF1, "F1" }, { wsF2, "F2" }, { wsF3, "F3" }, { wsF4, "F4" }, { wsF5, "F5" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
30 { wsF6, "F6" }, { wsF7, "F7" }, { wsF8, "F8" }, { wsF9, "F9" }, { wsF10, "F10" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
31 { wsF11, "F11" }, { wsF12, "F12" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
32
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
33 { wsEnter, "Enter" }, { wsTab, "Tab" }, { wsSpace, "Space" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
34 { wsInsert, "Insert" }, { wsDelete, "Delete" }, { wsHome, "Home" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
35 { wsEnd, "End" }, { wsEscape, "Escape" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
36
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
37 { wsosbrackets, "[" }, { wscsbrackets, "]" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
38 { wsMore, "<" }, { wsLess, ">" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
39 { wsMinus, "-" }, { wsPlus, "+" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
40 { wsMul, "*" }, { wsDiv, "/" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
41
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
42 { ws0, "0" }, { ws1, "1" }, { ws2, "2" }, { ws3, "3" }, { ws4, "4" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
43 { ws5, "5" }, { ws6, "6" }, { ws7, "7" }, { ws8, "8" }, { ws9, "9" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
44
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
45 { wsGrayEnter, "GrayEnter" }, { wsGrayPlus, "GrayPlus" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
46 { wsGrayMinus, "GrayMinus" }, { wsGrayMul, "GrayMul" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
47 { wsGrayDiv, "GrayDiv" }, { wsGrayInsert, "GrayInsert" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
48 { wsGrayDelete, "GrayDelete" }, { wsGrayEnd, "GrayEnd" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
49 { wsGrayDown, "GrayDown" }, { wsGrayPageDown, "GrayPageDown" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
50 { wsGrayLeft, "GrayLeft" }, { wsGray5, "Gray5" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
51 { wsGrayRight, "GrayRight" }, { wsGrayHome, "GrayHome" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
52 { wsGrayUp, "GrayUp" }, { wsGrayPageUp, "GrayPageUp" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
53
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
54 { wsXF86LowerVolume, "XF86LowerVolume" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
55 { wsXF86RaiseVolume, "XF86RaiseVolume" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
56 { wsXF86Mute, "XF86Mute" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
57 { wsXF86Play, "XF86Play" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
58 { wsXF86Stop, "XF86Stop" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
59 { wsXF86Prev, "XF86Prev" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
60 { wsXF86Next, "XF86Next" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
61 { wsXF86Media, "XF86Media" },
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
62
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
63 { wsKeyNone, "None" }
17bf4f4b0715 Gui --> gui
diego
parents:
diff changeset
64 };