equal
deleted
inserted
replaced
7 * display configuration - windowsNT / windows95 |
7 * display configuration - windowsNT / windows95 |
8 *" |
8 *" |
9 |
9 |
10 "/ |
10 "/ |
11 "/ here, fixup the keyboard mapping for |
11 "/ here, fixup the keyboard mapping for |
12 "/ windows feel - especially, change |
12 "/ windows feel - especially, |
13 "/ cut/copy/paste from ALT-[XCV] into CTRL-[XCV] |
13 "/ change from to |
14 "/ HOME-key from BeginOfText to BeginOfLine |
14 "/ cut/copy/paste ALT-[XCV] CTRL-[XCV] |
15 "/ END-key from EndOfText to EndOfLine |
15 "/ HOME-key BeginOfText BeginOfLine |
16 "/ F1-key from Again to Help |
16 "/ END-key EndOfText EndOfLine |
17 "/ F3-key now FindAgain |
17 "/ F1-key Again Help |
18 "/ F4-key now CommentSelection |
18 "/ F3-key FindAgain |
19 "/ F5-key now UncommentSelection |
19 "/ F4-key CommentSelection |
20 "/ F8-key now (replace-) Again |
20 "/ F5-key UncommentSelection |
21 "/ UserInterrupt now on PAUSE |
21 "/ F8-key (replace-) Again |
|
22 "/ UserInterrupt CTRL-C BREAK/PAUSE |
22 |
23 |
23 |map| |
24 |map| |
24 |
25 |
25 map := Display keyboardMap. |
26 map := Display keyboardMap. |
26 |
27 |