blob: e5de739bf66814c2d4b65edb13d73ea90d18d915 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
(.using
[library
[lux (.full)
["$" documentation (.only documentation:)]
[control
["<>" parser
["<[0]>" code]]]
[data
["[0]" text (.only \n)
["%" format (.only format)]]]
[macro
["[0]" template]]]]
[\\library
["[0]" /]])
(documentation: /.Key
"A key from a keyboard, identify by a numeric ID.")
(documentation: /.Press
"A key-press for a key.")
(.def: .public documentation
(.List $.Module)
($.module /._
""
[..Key
..Press
($.default /.back_space)
($.default /.enter)
($.default /.shift)
($.default /.control)
($.default /.alt)
($.default /.caps_lock)
($.default /.escape)
($.default /.space)
($.default /.page_up)
($.default /.page_down)
($.default /.end)
($.default /.home)
($.default /.left)
($.default /.up)
($.default /.right)
($.default /.down)
($.default /.a)
($.default /.b)
($.default /.c)
($.default /.d)
($.default /.e)
($.default /.f)
($.default /.g)
($.default /.h)
($.default /.i)
($.default /.j)
($.default /.k)
($.default /.l)
($.default /.m)
($.default /.n)
($.default /.o)
($.default /.p)
($.default /.q)
($.default /.r)
($.default /.s)
($.default /.t)
($.default /.u)
($.default /.v)
($.default /.w)
($.default /.x)
($.default /.y)
($.default /.z)
($.default /.num_pad_0)
($.default /.num_pad_1)
($.default /.num_pad_2)
($.default /.num_pad_3)
($.default /.num_pad_4)
($.default /.num_pad_5)
($.default /.num_pad_6)
($.default /.num_pad_7)
($.default /.num_pad_8)
($.default /.num_pad_9)
($.default /.delete)
($.default /.num_lock)
($.default /.scroll_lock)
($.default /.print_screen)
($.default /.insert)
($.default /.windows)
($.default /.f1)
($.default /.f2)
($.default /.f3)
($.default /.f4)
($.default /.f5)
($.default /.f6)
($.default /.f7)
($.default /.f8)
($.default /.f9)
($.default /.f10)
($.default /.f11)
($.default /.f12)
($.default /.f13)
($.default /.f14)
($.default /.f15)
($.default /.f16)
($.default /.f17)
($.default /.f18)
($.default /.f19)
($.default /.f20)
($.default /.f21)
($.default /.f22)
($.default /.f23)
($.default /.f24)
($.default /.release)
($.default /.press)]
[]))
|
