- } else if (event.key == 'Enter') {
- let tokens = parser.tokenize(chat.input_line);
- console.log(tokens);
- if (tokens.length > 0 && tokens[0].length > 0) {
- if (tokens[0][0] == '/') {
- if (tokens[0] == '/game') {
- mode = 'game';
- } else if (tokens[0] == '/?') {
- tui.log_help();
- tui.refresh();
- } else if (tokens[0] == '/login') {
- if (tokens.length > 1) {
- websocket.send('LOGIN ' + quote(tokens[1]));
- } else {
- tui.log_msg('need login name');
- }
- } else if (tokens[0] == '/msg') {
- if (tokens.length > 2) {
- websocket.send('QUERY ' + quote(tokens[1]) + ' ' + quote(tokens[2]));
- } else {
- tui.log_msg('need message target and message');
- }
+ }
+ },
+ empty_info_db: function() {
+ this.info_db = {};
+ if (tui.mode == mode_study) {
+ tui.draw_info();
+ tui.refresh();
+ }
+ },
+ query_info: function() {
+ server.send(["GET_ANNOTATION", unparser.to_yx(explorer.position)]);
+ },
+ get_info: function() {
+ if (this.position in this.info_db) {
+ return this.info_db[this.position];
+ } else {
+ return 'waiting …';
+ }
+ },
+ annotate: function(msg) {
+ if (msg.length == 0) {
+ msg = " "; // triggers annotation deletion
+ }
+ server.send(["ANNOTATE", unparser.to_yx(explorer.position), msg]);
+ }
+}
+
+document.addEventListener('keydown', (event) => {
+ if (tui.mode.has_input_prompt && event.key.length === 1) {
+ tui.add_to_input(event.key);
+ tui.full_refresh();
+ } else if (tui.mode.has_input_prompt && event.key == 'Backspace') {
+ tui.shorten_input();
+ tui.full_refresh();
+ } else if (tui.mode == mode_annotate && event.key == 'Enter') {
+ explorer.annotate(tui.input);
+ tui.switch_mode(mode_study, true);
+ } else if (tui.mode == mode_chat && event.key == 'Enter') {
+ let [tokens, token_starts] = parser.tokenize(tui.input);
+ if (tokens.length > 0 && tokens[0].length > 0) {
+ if (tokens[0][0] == ':') {
+ if (tokens[0] == ':play' || tokens[0] == ':p') {
+ tui.switch_mode(mode_play);
+ } else if (tokens[0] == ':study' || tokens[0] == ':s') {
+ tui.switch_mode(mode_study);
+ } else if (tokens[0] == ':help') {
+ tui.log_help();
+ tui.refresh();
+ } else if (tokens[0] == ':login') {
+ if (tokens.length > 1) {
+ server.send(['LOGIN', tokens[1]]);
+ } else {
+ tui.log_msg('? need login name');
+ }
+ } else if (tokens[0] == ':msg') {
+ if (tokens.length > 2) {
+ let msg = tui.input.slice(token_starts[2]);
+ server.send(['QUERY', tokens[1], msg]);