home *** CD-ROM | disk | FTP | other *** search
- EXTENDED FUNCTION KEYS
-
- The function keys F11 through F40 are the so-called "extended" function keys.
- On a keyboard that physically has only F1 through F10, Shift-F1 is called
- F11, Ctrl-F1 is called F21, Alt-F1 is called F31, and so on, so that a total
- of forty function keys can be defined. They are reassigned as described in
- the FUNCTION_KEYS topic.
-
- However, on a keyboard that physically has F1 through F12, F11 and F12 are
- reassigned using a different set of <key-num>s. To reassign these function
- keys, use a command of the same form used for a function key:
-
- PROMPT $e[0;key-num;"text"[;#;"text"]...p
- PROMPT $e[0;key-num;#;...#p
- ECHO ^[[0;key-num;"text"[;#;"text"]...p
- ECHO ^[[0;key-num;#;...#p
- ESC [0;key-num;"text"[;#;"text"]...p
- or
- ESC [0;key-num;#;...#p
-
- where
-
- <key-num> is:
- a function key number (133=F11,134=F12)
- a shift function key number (135=Shift-F11, 136=Shift-F12)
- a control function key number (137=Ctrl-F11, 138=Ctrl-F12)
- an alternate function key number (139=Alt-F11, 140=Alt-F12)
-
- "text" is any string of characters enclosed in double quotes.
-
- # is any ASCII character code, in decimal. The ASCII character codes are
- listed in the NEW_TERMS ASCII topic.
-
- ^[ is an actual ESC character (27).