alx/ueforth
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed up keypad.

Browse Source
This commit is contained in:
Brad Nelson
2022-07-22 19:59:14 -07:00
parent 3e3e50fb7c
commit dda69f1e66
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
web/platform.fs
View File

@ -68,7 +68,7 @@ if (!globalObj.write) {
context.screen.appendChild(context.terminal); context.screen.appendChild(context.terminal);
context.keyboard = document.createElement('div'); context.keyboard = document.createElement('div');
context.KEY_HEIGHT = 60; context.KEY_HEIGHT = 45;
context.KEYBOARD_HEIGHT = context.KEY_HEIGHT * 4; context.KEYBOARD_HEIGHT = context.KEY_HEIGHT * 4;
const TAB = ['⭾', 9, 45]; const TAB = ['⭾', 9, 45];
const PIPE = [String.fromCharCode(124), 124, 45]; const PIPE = [String.fromCharCode(124), 124, 45];
@ -76,6 +76,7 @@ if (!globalObj.write) {
const ENTER = ['⏎', 13, 45]; const ENTER = ['⏎', 13, 45];
const SHIFT = ['⇧', 1, 45, 0]; const SHIFT = ['⇧', 1, 45, 0];
const SHIFT2 = ['⬆', 0, 45, 0]; const SHIFT2 = ['⬆', 0, 45, 0];
const SHIFT3 = ['=\\<', 3, 45, 0];
const NUMS = ['?123', 2, 45, 0]; const NUMS = ['?123', 2, 45, 0];
const ABC = ['ABC', 0, 45, 0]; const ABC = ['ABC', 0, 45, 0];
const BACKSPACE = ['&#x232B;', 8, 45]; const BACKSPACE = ['&#x232B;', 8, 45];
@ -99,9 +100,15 @@ if (!globalObj.write) {
AddKeymap([ AddKeymap([
'1', '2', '3', '4', '5', '6', '7', '8', '9', '0', 'Newline', '1', '2', '3', '4', '5', '6', '7', '8', '9', '0', 'Newline',
'@', '#', '$', '_', '&', '-', '+', '(', ')', '/', 'Newline', '@', '#', '$', '_', '&', '-', '+', '(', ')', '/', 'Newline',
SHIFT, '*', '"', '\'', ':', ';', '!', '?', BACKSPACE, 'Newline', SHIFT3, '*', '"', '\'', ':', ';', '!', '?', BACKSPACE, 'Newline',
ABC, ',', [' ', 32, 5 * 30], '.', ENTER, ABC, ',', [' ', 32, 5 * 30], '.', ENTER,
]), ]),
AddKeymap([
TILDE, BACKTICK, '3', '4', '5', '6', '7', '8', '9', '0', 'Newline',
'@', '#', '$', '_', '&', '-', '=', '{', '}', '\\', 'Newline',
NUMS, '%', '"', '\'', ':', ';', '[', ']', BACKSPACE, 'Newline',
ABC, '<', [' ', 32, 5 * 30], '>', ENTER,
]),
]; ];
function SwitchKeymap(n) { function SwitchKeymap(n) {
for (var i = 0; i < keymaps.length; ++i) { for (var i = 0; i < keymaps.length; ++i) {