annotate libgui/kb-layouts/linux.keytab @ 20614:10ec79b47808

use new string_value method to handle value extraction errors * __voronoi__.cc, chol.cc, colamd.cc, fftw.cc: Use new string_value method.
author John W. Eaton <jwe@octave.org>
date Thu, 08 Oct 2015 18:15:56 -0400
parents aa36fb998a4d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
1 # [linux.keytab] Konsole Keyboard Table (Linux console keys)
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
2 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
3 # --------------------------------------------------------------
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
4
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
5 # NOT TESTED, MAY NEED SOME CLEANUPS
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
6 keyboard "Linux console"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
7
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
8 # --------------------------------------------------------------
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
9 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
10 # This configuration table allows to customize the
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
11 # meaning of the keys.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
12 #
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
13 # The syntax is that each entry has the form :
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
14 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
15 # "key" Keyname { ("+"|"-") Modename } ":" (String|Operation)
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
16 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
17 # Keynames are those defined in <qnamespace.h> with the
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
18 # "Qt::Key_" removed. (We'd better insert the list here)
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
19 #
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
20 # Mode names are :
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
21 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
22 # - Shift
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
23 # - Alt
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
24 # - Control
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
25 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
26 # The VT100 emulation has two modes that can affect the
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
27 # sequences emitted by certain keys. These modes are
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
28 # under control of the client program.
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
29 #
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
30 # - Newline : effects Return and Enter key.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
31 # - Application : effects Up and Down key.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
32 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
33 # - Ansi : effects Up and Down key (This is for VT52, really).
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
34 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
35 # Operations are
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
36 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
37 # - scrollUpLine
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
38 # - scrollUpPage
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
39 # - scrollDownLine
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
40 # - scrollDownPage
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
41 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
42 # - emitSelection
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
43 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
44 # If the key is not found here, the text of the
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
45 # key event as provided by QT is emitted, possibly
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
46 # preceeded by ESC if the Alt key is pressed.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
47 #
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
48 # --------------------------------------------------------------
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
49
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
50 key Escape : "\E"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
51 key Tab : "\t"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
52
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
53 # VT100 can add an extra \n after return.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
54 # The NewLine mode is set by an escape sequence.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
55
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
56 key Return-NewLine : "\r"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
57 key Return+NewLine : "\r\n"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
58
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
59 # Some desperately try to save the ^H.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
60
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
61 key Backspace : "\x7f"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
62 key Delete : "\E[3~"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
63
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
64 # These codes are for the VT52 mode of VT100
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
65 # The Ansi mode (i.e. VT100 mode) is set by
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
66 # an escape sequence
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
67
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
68 key Up -Shift-Ansi : "\EA"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
69 key Down -Shift-Ansi : "\EB"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
70 key Right-Shift-Ansi : "\EC"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
71 key Left -Shift-Ansi : "\ED"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
72
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
73 # VT100 emits a mode bit together
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
74 # with the arrow keys.The AppCuKeys
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
75 # mode is set by an escape sequence.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
76
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
77 key Up -Shift+Ansi+AppCuKeys : "\EOA"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
78 key Down -Shift+Ansi+AppCuKeys : "\EOB"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
79 key Right-Shift+Ansi+AppCuKeys : "\EOC"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
80 key Left -Shift+Ansi+AppCuKeys : "\EOD"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
81
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
82 key Up -Shift+Ansi-AppCuKeys : "\E[A"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
83 key Down -Shift+Ansi-AppCuKeys : "\E[B"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
84 key Right-Shift+Ansi-AppCuKeys : "\E[C"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
85 key Left -Shift+Ansi-AppCuKeys : "\E[D"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
86
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
87 # linux functions keys F1-F5 differ from xterm
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
88
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
89 key F1 : "\E[[A"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
90 key F2 : "\E[[B"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
91 key F3 : "\E[[C"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
92 key F4 : "\E[[D"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
93 key F5 : "\E[[E"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
94
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
95 key F6 : "\E[17~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
96 key F7 : "\E[18~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
97 key F8 : "\E[19~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
98 key F9 : "\E[20~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
99 key F10 : "\E[21~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
100 key F11 : "\E[23~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
101 key F12 : "\E[24~"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
102
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
103 key Home : "\E[1~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
104 key End : "\E[4~"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
105
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
106 key Prior -Shift : "\E[5~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
107 key Next -Shift : "\E[6~"
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
108 key Insert-Shift : "\E[2~"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
109
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
110 # Keypad-Enter. See comment on Return above.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
111
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
112 key Enter+NewLine : "\r\n"
20216
aa36fb998a4d maint: Remove unnecessary whitespace at end of lines.
Rik <rik@octave.org>
parents: 15196
diff changeset
113 key Enter-NewLine : "\r"
13357
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
114
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
115 key Space +Control : "\x00"
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
116
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
117 # some of keys are used by konsole.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
118
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
119 key Up +Shift : scrollLineUp
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
120 key Prior +Shift : scrollPageUp
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
121 key Down +Shift : scrollLineDown
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
122 key Next +Shift : scrollPageDown
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
123
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
124 key ScrollLock : scrollLock
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
125
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
126 #----------------------------------------------------------
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
127
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
128 # keypad characters as offered by Qt
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
129 # cannot be recognized as such.
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
130
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
131 #----------------------------------------------------------
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
132
f9fbf8954d7d Added qtermwidget files.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
diff changeset
133 # Following other strings as emitted by konsole.