src/jdk.internal.le/share/classes/jdk/internal/jline/internal/InfoCmp.java
author jlahoda
Fri, 01 Jun 2018 13:04:30 +0200
changeset 50338 1d5694c1aa03
permissions -rw-r--r--
8203827: Upgrade JLine to 2.14.6 Reviewed-by: alanb, hannesw, rfield
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50338
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     1
/*
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     2
 * Copyright (c) 2002-2016, the original author or authors.
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     3
 *
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     4
 * This software is distributable under the BSD license. See the terms of the
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     5
 * BSD license in the documentation provided with this software.
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     6
 *
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     7
 * http://www.opensource.org/licenses/bsd-license.php
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     8
 */
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
     9
package jdk.internal.jline.internal;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    10
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    11
import java.io.IOException;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    12
import java.util.Collections;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    13
import java.util.HashMap;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    14
import java.util.Map;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    15
import java.util.Set;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    16
import java.util.regex.Matcher;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    17
import java.util.regex.Pattern;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    18
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    19
/**
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    20
 * Infocmp helper methods.
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    21
 *
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    22
 * @author <a href="mailto:gnodet@gmail.com">Guillaume Nodet</a>
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    23
 */
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    24
public class InfoCmp {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    25
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    26
    private static final Map<String, String> CAPS = new HashMap<String, String>();
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    27
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    28
    public static String getInfoCmp(
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    29
            String terminal
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    30
    ) throws IOException, InterruptedException {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    31
        String caps = CAPS.get(terminal);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    32
        if (caps == null) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    33
            Process p = new ProcessBuilder("infocmp", terminal).start();
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    34
            caps = TerminalLineSettings.waitAndCapture(p);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    35
            CAPS.put(terminal, caps);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    36
        }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    37
        return caps;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    38
    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    39
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    40
    public static String getAnsiCaps() {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    41
        return ANSI_CAPS;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    42
    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    43
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    44
    public static void parseInfoCmp(
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    45
            String capabilities,
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    46
            Set<String> bools,
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    47
            Map<String, Integer> ints,
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    48
            Map<String, String> strings
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    49
    ) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    50
        String[] lines = capabilities.split("\n");
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    51
        for (int i = 2; i < lines.length; i++) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    52
            Matcher m = Pattern.compile("\\s*(([^,]|\\\\,)+)\\s*[,$]").matcher(lines[i]);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    53
            while (m.find()) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    54
                String cap = m.group(1);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    55
                if (cap.contains("#")) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    56
                    int index = cap.indexOf('#');
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    57
                    String key = cap.substring(0, index);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    58
                    String val = cap.substring(index + 1);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    59
                    int iVal;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    60
                    if (val.startsWith("0x")) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    61
                        iVal = Integer.parseInt(val.substring(2), 16);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    62
                    } else {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    63
                        iVal = Integer.parseInt(val);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    64
                    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    65
                    for (String name : getNames(key)) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    66
                        ints.put(name, iVal);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    67
                    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    68
                } else if (cap.contains("=")) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    69
                    int index = cap.indexOf('=');
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    70
                    String key = cap.substring(0, index);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    71
                    String val = cap.substring(index + 1);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    72
                    for (String name : getNames(key)) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    73
                        strings.put(name, val);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    74
                    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    75
                } else {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    76
                    for (String name : getNames(cap)) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    77
                        bools.add(name);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    78
                    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    79
                }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    80
            }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    81
        }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    82
    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    83
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    84
    public static String[] getNames(String name) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    85
        String[] names = NAMES.get(name);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    86
        return names != null ? names : new String[] { name };
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    87
    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    88
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    89
    private static final Map<String, String[]> NAMES;
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    90
    static {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    91
        String[][] list = {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    92
                { "auto_left_margin", "bw", "bw" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    93
                { "auto_right_margin", "am", "am" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    94
                { "back_color_erase", "bce", "ut" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    95
                { "can_change", "ccc", "cc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    96
                { "ceol_standout_glitch", "xhp", "xs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    97
                { "col_addr_glitch", "xhpa", "YA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    98
                { "cpi_changes_res", "cpix", "YF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
    99
                { "cr_cancels_micro_mode", "crxm", "YB" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   100
                { "dest_tabs_magic_smso", "xt", "xt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   101
                { "eat_newline_glitch", "xenl", "xn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   102
                { "erase_overstrike", "eo", "eo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   103
                { "generic_type", "gn", "gn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   104
                { "hard_copy", "hc", "hc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   105
                { "hard_cursor", "chts", "HC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   106
                { "has_meta_key", "km", "km" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   107
                { "has_print_wheel", "daisy", "YC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   108
                { "has_status_line", "hs", "hs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   109
                { "hue_lightness_saturation", "hls", "hl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   110
                { "insert_null_glitch", "in", "in" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   111
                { "lpi_changes_res", "lpix", "YG" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   112
                { "memory_above", "da", "da" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   113
                { "memory_below", "db", "db" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   114
                { "move_insert_mode", "mir", "mi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   115
                { "move_standout_mode", "msgr", "ms" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   116
                { "needs_xon_xoff", "nxon", "nx" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   117
                { "no_esc_ctlc", "xsb", "xb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   118
                { "no_pad_char", "npc", "NP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   119
                { "non_dest_scroll_region", "ndscr", "ND" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   120
                { "non_rev_rmcup", "nrrmc", "NR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   121
                { "over_strike", "os", "os" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   122
                { "prtr_silent", "mc5i", "5i" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   123
                { "row_addr_glitch", "xvpa", "YD" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   124
                { "semi_auto_right_margin", "sam", "YE" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   125
                { "status_line_esc_ok", "eslok", "es" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   126
                { "tilde_glitch", "hz", "hz" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   127
                { "transparent_underline", "ul", "ul" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   128
                { "xon_xoff", "xon", "xo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   129
                { "columns", "cols", "co" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   130
                { "init_tabs", "it", "it" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   131
                { "label_height", "lh", "lh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   132
                { "label_width", "lw", "lw" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   133
                { "lines", "lines", "li" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   134
                { "lines_of_memory", "lm", "lm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   135
                { "magic_cookie_glitch", "xmc", "sg" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   136
                { "max_attributes", "ma", "ma" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   137
                { "max_colors", "colors", "Co" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   138
                { "max_pairs", "pairs", "pa" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   139
                { "maximum_windows", "wnum", "MW" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   140
                { "no_color_video", "ncv", "NC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   141
                { "num_labels", "nlab", "Nl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   142
                { "padding_baud_rate", "pb", "pb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   143
                { "virtual_terminal", "vt", "vt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   144
                { "width_status_line", "wsl", "ws" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   145
                { "bit_image_entwining", "bitwin", "Yo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   146
                { "bit_image_type", "bitype", "Yp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   147
                { "buffer_capacity", "bufsz", "Ya" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   148
                { "buttons", "btns", "BT" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   149
                { "dot_horz_spacing", "spinh", "Yc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   150
                { "dot_vert_spacing", "spinv", "Yb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   151
                { "max_micro_address", "maddr", "Yd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   152
                { "max_micro_jump", "mjump", "Ye" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   153
                { "micro_col_size", "mcs", "Yf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   154
                { "micro_line_size", "mls", "Yg" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   155
                { "number_of_pins", "npins", "Yh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   156
                { "output_res_char", "orc", "Yi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   157
                { "output_res_horz_inch", "orhi", "Yk" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   158
                { "output_res_line", "orl", "Yj" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   159
                { "output_res_vert_inch", "orvi", "Yl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   160
                { "print_rate", "cps", "Ym" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   161
                { "wide_char_size", "widcs", "Yn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   162
                { "acs_chars", "acsc", "ac" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   163
                { "back_tab", "cbt", "bt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   164
                { "bell", "bel", "bl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   165
                { "carriage_return", "cr", "cr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   166
                { "change_char_pitch", "cpi", "ZA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   167
                { "change_line_pitch", "lpi", "ZB" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   168
                { "change_res_horz", "chr", "ZC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   169
                { "change_res_vert", "cvr", "ZD" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   170
                { "change_scroll_region", "csr", "cs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   171
                { "char_padding", "rmp", "rP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   172
                { "clear_all_tabs", "tbc", "ct" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   173
                { "clear_margins", "mgc", "MC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   174
                { "clear_screen", "clear", "cl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   175
                { "clr_bol", "el1", "cb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   176
                { "clr_eol", "el", "ce" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   177
                { "clr_eos", "ed", "cd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   178
                { "column_address", "hpa", "ch" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   179
                { "command_character", "cmdch", "CC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   180
                { "create_window", "cwin", "CW" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   181
                { "cursor_address", "cup", "cm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   182
                { "cursor_down", "cud1", "do" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   183
                { "cursor_home", "home", "ho" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   184
                { "cursor_invisible", "civis", "vi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   185
                { "cursor_left", "cub1", "le" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   186
                { "cursor_mem_address", "mrcup", "CM" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   187
                { "cursor_normal", "cnorm", "ve" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   188
                { "cursor_right", "cuf1", "nd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   189
                { "cursor_to_ll", "ll", "ll" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   190
                { "cursor_up", "cuu1", "up" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   191
                { "cursor_visible", "cvvis", "vs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   192
                { "define_char", "defc", "ZE" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   193
                { "delete_character", "dch1", "dc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   194
                { "delete_line", "dl1", "dl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   195
                { "dial_phone", "dial", "DI" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   196
                { "dis_status_line", "dsl", "ds" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   197
                { "display_clock", "dclk", "DK" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   198
                { "down_half_line", "hd", "hd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   199
                { "ena_acs", "enacs", "eA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   200
                { "enter_alt_charset_mode", "smacs", "as" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   201
                { "enter_am_mode", "smam", "SA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   202
                { "enter_blink_mode", "blink", "mb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   203
                { "enter_bold_mode", "bold", "md" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   204
                { "enter_ca_mode", "smcup", "ti" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   205
                { "enter_delete_mode", "smdc", "dm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   206
                { "enter_dim_mode", "dim", "mh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   207
                { "enter_doublewide_mode", "swidm", "ZF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   208
                { "enter_draft_quality", "sdrfq", "ZG" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   209
                { "enter_insert_mode", "smir", "im" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   210
                { "enter_italics_mode", "sitm", "ZH" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   211
                { "enter_leftward_mode", "slm", "ZI" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   212
                { "enter_micro_mode", "smicm", "ZJ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   213
                { "enter_near_letter_quality", "snlq", "ZK" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   214
                { "enter_normal_quality", "snrmq", "ZL" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   215
                { "enter_protected_mode", "prot", "mp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   216
                { "enter_reverse_mode", "rev", "mr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   217
                { "enter_secure_mode", "invis", "mk" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   218
                { "enter_shadow_mode", "sshm", "ZM" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   219
                { "enter_standout_mode", "smso", "so" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   220
                { "enter_subscript_mode", "ssubm", "ZN" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   221
                { "enter_superscript_mode", "ssupm", "ZO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   222
                { "enter_underline_mode", "smul", "us" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   223
                { "enter_upward_mode", "sum", "ZP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   224
                { "enter_xon_mode", "smxon", "SX" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   225
                { "erase_chars", "ech", "ec" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   226
                { "exit_alt_charset_mode", "rmacs", "ae" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   227
                { "exit_am_mode", "rmam", "RA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   228
                { "exit_attribute_mode", "sgr0", "me" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   229
                { "exit_ca_mode", "rmcup", "te" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   230
                { "exit_delete_mode", "rmdc", "ed" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   231
                { "exit_doublewide_mode", "rwidm", "ZQ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   232
                { "exit_insert_mode", "rmir", "ei" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   233
                { "exit_italics_mode", "ritm", "ZR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   234
                { "exit_leftward_mode", "rlm", "ZS" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   235
                { "exit_micro_mode", "rmicm", "ZT" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   236
                { "exit_shadow_mode", "rshm", "ZU" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   237
                { "exit_standout_mode", "rmso", "se" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   238
                { "exit_subscript_mode", "rsubm", "ZV" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   239
                { "exit_superscript_mode", "rsupm", "ZW" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   240
                { "exit_underline_mode", "rmul", "ue" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   241
                { "exit_upward_mode", "rum", "ZX" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   242
                { "exit_xon_mode", "rmxon", "RX" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   243
                { "fixed_pause", "pause", "PA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   244
                { "flash_hook", "hook", "fh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   245
                { "flash_screen", "flash", "vb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   246
                { "form_feed", "ff", "ff" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   247
                { "from_status_line", "fsl", "fs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   248
                { "goto_window", "wingo", "WG" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   249
                { "hangup", "hup", "HU" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   250
                { "init_1string", "is1", "i1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   251
                { "init_2string", "is2", "is" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   252
                { "init_3string", "is3", "i3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   253
                { "init_file", "if", "if" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   254
                { "init_prog", "iprog", "iP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   255
                { "initialize_color", "initc", "Ic" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   256
                { "initialize_pair", "initp", "Ip" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   257
                { "insert_character", "ich1", "ic" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   258
                { "insert_line", "il1", "al" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   259
                { "insert_padding", "ip", "ip" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   260
                { "key_a1", "ka1", "K1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   261
                { "key_a3", "ka3", "K3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   262
                { "key_b2", "kb2", "K2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   263
                { "key_backspace", "kbs", "kb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   264
                { "key_beg", "kbeg", "@1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   265
                { "key_btab", "kcbt", "kB" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   266
                { "key_c1", "kc1", "K4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   267
                { "key_c3", "kc3", "K5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   268
                { "key_cancel", "kcan", "@2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   269
                { "key_catab", "ktbc", "ka" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   270
                { "key_clear", "kclr", "kC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   271
                { "key_close", "kclo", "@3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   272
                { "key_command", "kcmd", "@4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   273
                { "key_copy", "kcpy", "@5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   274
                { "key_create", "kcrt", "@6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   275
                { "key_ctab", "kctab", "kt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   276
                { "key_dc", "kdch1", "kD" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   277
                { "key_dl", "kdl1", "kL" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   278
                { "key_down", "kcud1", "kd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   279
                { "key_eic", "krmir", "kM" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   280
                { "key_end", "kend", "@7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   281
                { "key_enter", "kent", "@8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   282
                { "key_eol", "kel", "kE" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   283
                { "key_eos", "ked", "kS" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   284
                { "key_exit", "kext", "@9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   285
                { "key_f0", "kf0", "k0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   286
                { "key_f1", "kf1", "k1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   287
                { "key_f10", "kf10", "k;" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   288
                { "key_f11", "kf11", "F1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   289
                { "key_f12", "kf12", "F2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   290
                { "key_f13", "kf13", "F3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   291
                { "key_f14", "kf14", "F4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   292
                { "key_f15", "kf15", "F5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   293
                { "key_f16", "kf16", "F6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   294
                { "key_f17", "kf17", "F7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   295
                { "key_f18", "kf18", "F8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   296
                { "key_f19", "kf19", "F9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   297
                { "key_f2", "kf2", "k2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   298
                { "key_f20", "kf20", "FA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   299
                { "key_f21", "kf21", "FB" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   300
                { "key_f22", "kf22", "FC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   301
                { "key_f23", "kf23", "FD" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   302
                { "key_f24", "kf24", "FE" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   303
                { "key_f25", "kf25", "FF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   304
                { "key_f26", "kf26", "FG" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   305
                { "key_f27", "kf27", "FH" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   306
                { "key_f28", "kf28", "FI" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   307
                { "key_f29", "kf29", "FJ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   308
                { "key_f3", "kf3", "k3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   309
                { "key_f30", "kf30", "FK" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   310
                { "key_f31", "kf31", "FL" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   311
                { "key_f32", "kf32", "FM" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   312
                { "key_f33", "kf33", "FN" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   313
                { "key_f34", "kf34", "FO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   314
                { "key_f35", "kf35", "FP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   315
                { "key_f36", "kf36", "FQ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   316
                { "key_f37", "kf37", "FR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   317
                { "key_f38", "kf38", "FS" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   318
                { "key_f39", "kf39", "FT" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   319
                { "key_f4", "kf4", "k4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   320
                { "key_f40", "kf40", "FU" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   321
                { "key_f41", "kf41", "FV" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   322
                { "key_f42", "kf42", "FW" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   323
                { "key_f43", "kf43", "FX" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   324
                { "key_f44", "kf44", "FY" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   325
                { "key_f45", "kf45", "FZ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   326
                { "key_f46", "kf46", "Fa" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   327
                { "key_f47", "kf47", "Fb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   328
                { "key_f48", "kf48", "Fc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   329
                { "key_f49", "kf49", "Fd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   330
                { "key_f5", "kf5", "k5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   331
                { "key_f50", "kf50", "Fe" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   332
                { "key_f51", "kf51", "Ff" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   333
                { "key_f52", "kf52", "Fg" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   334
                { "key_f53", "kf53", "Fh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   335
                { "key_f54", "kf54", "Fi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   336
                { "key_f55", "kf55", "Fj" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   337
                { "key_f56", "kf56", "Fk" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   338
                { "key_f57", "kf57", "Fl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   339
                { "key_f58", "kf58", "Fm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   340
                { "key_f59", "kf59", "Fn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   341
                { "key_f6", "kf6", "k6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   342
                { "key_f60", "kf60", "Fo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   343
                { "key_f61", "kf61", "Fp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   344
                { "key_f62", "kf62", "Fq" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   345
                { "key_f63", "kf63", "Fr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   346
                { "key_f7", "kf7", "k7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   347
                { "key_f8", "kf8", "k8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   348
                { "key_f9", "kf9", "k9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   349
                { "key_find", "kfnd", "@0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   350
                { "key_help", "khlp", "%1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   351
                { "key_home", "khome", "kh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   352
                { "key_ic", "kich1", "kI" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   353
                { "key_il", "kil1", "kA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   354
                { "key_left", "kcub1", "kl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   355
                { "key_ll", "kll", "kH" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   356
                { "key_mark", "kmrk", "%2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   357
                { "key_message", "kmsg", "%3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   358
                { "key_move", "kmov", "%4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   359
                { "key_next", "knxt", "%5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   360
                { "key_npage", "knp", "kN" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   361
                { "key_open", "kopn", "%6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   362
                { "key_options", "kopt", "%7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   363
                { "key_ppage", "kpp", "kP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   364
                { "key_previous", "kprv", "%8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   365
                { "key_print", "kprt", "%9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   366
                { "key_redo", "krdo", "%0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   367
                { "key_reference", "kref", "&1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   368
                { "key_refresh", "krfr", "&2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   369
                { "key_replace", "krpl", "&3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   370
                { "key_restart", "krst", "&4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   371
                { "key_resume", "kres", "&5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   372
                { "key_right", "kcuf1", "kr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   373
                { "key_save", "ksav", "&6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   374
                { "key_sbeg", "kBEG", "&9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   375
                { "key_scancel", "kCAN", "&0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   376
                { "key_scommand", "kCMD", "*1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   377
                { "key_scopy", "kCPY", "*2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   378
                { "key_screate", "kCRT", "*3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   379
                { "key_sdc", "kDC", "*4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   380
                { "key_sdl", "kDL", "*5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   381
                { "key_select", "kslt", "*6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   382
                { "key_send", "kEND", "*7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   383
                { "key_seol", "kEOL", "*8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   384
                { "key_sexit", "kEXT", "*9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   385
                { "key_sf", "kind", "kF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   386
                { "key_sfind", "kFND", "*0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   387
                { "key_shelp", "kHLP", "#1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   388
                { "key_shome", "kHOM", "#2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   389
                { "key_sic", "kIC", "#3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   390
                { "key_sleft", "kLFT", "#4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   391
                { "key_smessage", "kMSG", "%a" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   392
                { "key_smove", "kMOV", "%b" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   393
                { "key_snext", "kNXT", "%c" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   394
                { "key_soptions", "kOPT", "%d" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   395
                { "key_sprevious", "kPRV", "%e" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   396
                { "key_sprint", "kPRT", "%f" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   397
                { "key_sr", "kri", "kR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   398
                { "key_sredo", "kRDO", "%g" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   399
                { "key_sreplace", "kRPL", "%h" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   400
                { "key_sright", "kRIT", "%i" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   401
                { "key_srsume", "kRES", "%j" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   402
                { "key_ssave", "kSAV", "!1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   403
                { "key_ssuspend", "kSPD", "!2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   404
                { "key_stab", "khts", "kT" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   405
                { "key_sundo", "kUND", "!3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   406
                { "key_suspend", "kspd", "&7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   407
                { "key_undo", "kund", "&8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   408
                { "key_up", "kcuu1", "ku" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   409
                { "keypad_local", "rmkx", "ke" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   410
                { "keypad_xmit", "smkx", "ks" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   411
                { "lab_f0", "lf0", "l0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   412
                { "lab_f1", "lf1", "l1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   413
                { "lab_f10", "lf10", "la" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   414
                { "lab_f2", "lf2", "l2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   415
                { "lab_f3", "lf3", "l3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   416
                { "lab_f4", "lf4", "l4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   417
                { "lab_f5", "lf5", "l5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   418
                { "lab_f6", "lf6", "l6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   419
                { "lab_f7", "lf7", "l7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   420
                { "lab_f8", "lf8", "l8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   421
                { "lab_f9", "lf9", "l9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   422
                { "label_format", "fln", "Lf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   423
                { "label_off", "rmln", "LF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   424
                { "label_on", "smln", "LO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   425
                { "meta_off", "rmm", "mo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   426
                { "meta_on", "smm", "mm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   427
                { "micro_column_address", "mhpa", "ZY" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   428
                { "micro_down", "mcud1", "ZZ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   429
                { "micro_left", "mcub1", "Za" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   430
                { "micro_right", "mcuf1", "Zb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   431
                { "micro_row_address", "mvpa", "Zc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   432
                { "micro_up", "mcuu1", "Zd" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   433
                { "newline", "nel", "nw" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   434
                { "order_of_pins", "porder", "Ze" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   435
                { "orig_colors", "oc", "oc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   436
                { "orig_pair", "op", "op" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   437
                { "pad_char", "pad", "pc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   438
                { "parm_dch", "dch", "DC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   439
                { "parm_delete_line", "dl", "DL" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   440
                { "parm_down_cursor", "cud", "DO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   441
                { "parm_down_micro", "mcud", "Zf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   442
                { "parm_ich", "ich", "IC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   443
                { "parm_index", "indn", "SF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   444
                { "parm_insert_line", "il", "AL" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   445
                { "parm_left_cursor", "cub", "LE" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   446
                { "parm_left_micro", "mcub", "Zg" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   447
                { "parm_right_cursor", "cuf", "RI" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   448
                { "parm_right_micro", "mcuf", "Zh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   449
                { "parm_rindex", "rin", "SR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   450
                { "parm_up_cursor", "cuu", "UP" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   451
                { "parm_up_micro", "mcuu", "Zi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   452
                { "pkey_key", "pfkey", "pk" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   453
                { "pkey_local", "pfloc", "pl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   454
                { "pkey_xmit", "pfx", "px" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   455
                { "plab_norm", "pln", "pn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   456
                { "print_screen", "mc0", "ps" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   457
                { "prtr_non", "mc5p", "pO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   458
                { "prtr_off", "mc4", "pf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   459
                { "prtr_on", "mc5", "po" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   460
                { "pulse", "pulse", "PU" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   461
                { "quick_dial", "qdial", "QD" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   462
                { "remove_clock", "rmclk", "RC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   463
                { "repeat_char", "rep", "rp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   464
                { "req_for_input", "rfi", "RF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   465
                { "reset_1string", "rs1", "r1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   466
                { "reset_2string", "rs2", "r2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   467
                { "reset_3string", "rs3", "r3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   468
                { "reset_file", "rf", "rf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   469
                { "restore_cursor", "rc", "rc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   470
                { "row_address", "vpa", "cv" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   471
                { "save_cursor", "sc", "sc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   472
                { "scroll_forward", "ind", "sf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   473
                { "scroll_reverse", "ri", "sr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   474
                { "select_char_set", "scs", "Zj" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   475
                { "set_attributes", "sgr", "sa" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   476
                { "set_background", "setb", "Sb" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   477
                { "set_bottom_margin", "smgb", "Zk" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   478
                { "set_bottom_margin_parm", "smgbp", "Zl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   479
                { "set_clock", "sclk", "SC" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   480
                { "set_color_pair", "scp", "sp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   481
                { "set_foreground", "setf", "Sf" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   482
                { "set_left_margin", "smgl", "ML" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   483
                { "set_left_margin_parm", "smglp", "Zm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   484
                { "set_right_margin", "smgr", "MR" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   485
                { "set_right_margin_parm", "smgrp", "Zn" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   486
                { "set_tab", "hts", "st" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   487
                { "set_top_margin", "smgt", "Zo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   488
                { "set_top_margin_parm", "smgtp", "Zp" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   489
                { "set_window", "wind", "wi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   490
                { "start_bit_image", "sbim", "Zq" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   491
                { "start_char_set_def", "scsd", "Zr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   492
                { "stop_bit_image", "rbim", "Zs" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   493
                { "stop_char_set_def", "rcsd", "Zt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   494
                { "subscript_characters", "subcs", "Zu" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   495
                { "superscript_characters", "supcs", "Zv" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   496
                { "tab", "ht", "ta" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   497
                { "these_cause_cr", "docr", "Zw" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   498
                { "to_status_line", "tsl", "ts" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   499
                { "tone", "tone", "TO" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   500
                { "underline_char", "uc", "uc" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   501
                { "up_half_line", "hu", "hu" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   502
                { "user0", "u0", "u0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   503
                { "user1", "u1", "u1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   504
                { "user2", "u2", "u2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   505
                { "user3", "u3", "u3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   506
                { "user4", "u4", "u4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   507
                { "user5", "u5", "u5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   508
                { "user6", "u6", "u6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   509
                { "user7", "u7", "u7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   510
                { "user8", "u8", "u8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   511
                { "user9", "u9", "u9" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   512
                { "wait_tone", "wait", "WA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   513
                { "xoff_character", "xoffc", "XF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   514
                { "xon_character", "xonc", "XN" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   515
                { "zero_motion", "zerom", "Zx" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   516
                { "alt_scancode_esc", "scesa", "S8" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   517
                { "bit_image_carriage_return", "bicr", "Yv" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   518
                { "bit_image_newline", "binel", "Zz" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   519
                { "bit_image_repeat", "birep", "Xy" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   520
                { "char_set_names", "csnm", "Zy" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   521
                { "code_set_init", "csin", "ci" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   522
                { "color_names", "colornm", "Yw" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   523
                { "define_bit_image_region", "defbi", "Yx" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   524
                { "device_type", "devt", "dv" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   525
                { "display_pc_char", "dispc", "S1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   526
                { "end_bit_image_region", "endbi", "Yy" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   527
                { "enter_pc_charset_mode", "smpch", "S2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   528
                { "enter_scancode_mode", "smsc", "S4" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   529
                { "exit_pc_charset_mode", "rmpch", "S3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   530
                { "exit_scancode_mode", "rmsc", "S5" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   531
                { "get_mouse", "getm", "Gm" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   532
                { "key_mouse", "kmous", "Km" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   533
                { "mouse_info", "minfo", "Mi" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   534
                { "pc_term_options", "pctrm", "S6" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   535
                { "pkey_plab", "pfxl", "xl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   536
                { "req_mouse_pos", "reqmp", "RQ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   537
                { "scancode_escape", "scesc", "S7" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   538
                { "set0_des_seq", "s0ds", "s0" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   539
                { "set1_des_seq", "s1ds", "s1" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   540
                { "set2_des_seq", "s2ds", "s2" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   541
                { "set3_des_seq", "s3ds", "s3" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   542
                { "set_a_background", "setab", "AB" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   543
                { "set_a_foreground", "setaf", "AF" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   544
                { "set_color_band", "setcolor", "Yz" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   545
                { "set_lr_margin", "smglr", "ML" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   546
                { "set_page_length", "slines", "YZ" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   547
                { "set_tb_margin", "smgtb", "MT" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   548
                { "enter_horizontal_hl_mode", "ehhlm", "Xh" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   549
                { "enter_left_hl_mode", "elhlm", "Xl" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   550
                { "enter_low_hl_mode", "elohlm", "Xo" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   551
                { "enter_right_hl_mode", "erhlm", "Xr" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   552
                { "enter_top_hl_mode", "ethlm", "Xt" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   553
                { "enter_vertical_hl_mode", "evhlm", "Xv" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   554
                { "set_a_attributes", "sgr1", "sA" },
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   555
                { "set_pglen_inch", "slength", "sL" }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   556
        };
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   557
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   558
        Map<String, String[]> map = new HashMap<String, String[]>();
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   559
        for (String[] names : list) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   560
            for (String name : names) {
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   561
                map.put(name, names);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   562
            }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   563
        }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   564
        NAMES = Collections.unmodifiableMap(map);
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   565
    }
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   566
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   567
    private static String ANSI_CAPS =
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   568
            "#\tReconstructed via infocmp from file: /usr/share/terminfo/61/ansi\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   569
            "ansi|ansi/pc-term compatible with color,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   570
            "\tam, mc5i, mir, msgr,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   571
            "\tcolors#8, cols#80, it#8, lines#24, ncv#3, pairs#64,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   572
            "\tacsc=+\\020\\,\\021-\\030.^Y0\\333`\\004a\\261f\\370g\\361h\\260j\\331k\\277l\\332m\\300n\\305o~p\\304q\\304r\\304s_t\\303u\\264v\\301w\\302x\\263y\\363z\\362{\\343|\\330}\\234~\\376,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   573
            "\tbel=^G, blink=\\E[5m, bold=\\E[1m, cbt=\\E[Z, clear=\\E[H\\E[J,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   574
            "\tcr=^M, cub=\\E[%p1%dD, cub1=\\E[D, cud=\\E[%p1%dB, cud1=\\E[B,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   575
            "\tcuf=\\E[%p1%dC, cuf1=\\E[C, cup=\\E[%i%p1%d;%p2%dH,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   576
            "\tcuu=\\E[%p1%dA, cuu1=\\E[A, dch=\\E[%p1%dP, dch1=\\E[P,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   577
            "\tdl=\\E[%p1%dM, dl1=\\E[M, ech=\\E[%p1%dX, ed=\\E[J, el=\\E[K,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   578
            "\tel1=\\E[1K, home=\\E[H, hpa=\\E[%i%p1%dG, ht=\\E[I, hts=\\EH,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   579
            "\tich=\\E[%p1%d@, il=\\E[%p1%dL, il1=\\E[L, ind=^J,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   580
            "\tindn=\\E[%p1%dS, invis=\\E[8m, kbs=^H, kcbt=\\E[Z, kcub1=\\E[D,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   581
            "\tkcud1=\\E[B, kcuf1=\\E[C, kcuu1=\\E[A, khome=\\E[H, kich1=\\E[L,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   582
            "\tmc4=\\E[4i, mc5=\\E[5i, nel=\\r\\E[S, op=\\E[39;49m,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   583
            "\trep=%p1%c\\E[%p2%{1}%-%db, rev=\\E[7m, rin=\\E[%p1%dT,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   584
            "\trmacs=\\E[10m, rmpch=\\E[10m, rmso=\\E[m, rmul=\\E[m,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   585
            "\ts0ds=\\E(B, s1ds=\\E)B, s2ds=\\E*B, s3ds=\\E+B,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   586
            "\tsetab=\\E[4%p1%dm, setaf=\\E[3%p1%dm,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   587
            "\tsgr=\\E[0;10%?%p1%t;7%;%?%p2%t;4%;%?%p3%t;7%;%?%p4%t;5%;%?%p6%t;1%;%?%p7%t;8%;%?%p9%t;11%;m,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   588
            "\tsgr0=\\E[0;10m, smacs=\\E[11m, smpch=\\E[11m, smso=\\E[7m,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   589
            "\tsmul=\\E[4m, tbc=\\E[2g, u6=\\E[%i%d;%dR, u7=\\E[6n,\n" +
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   590
            "\tu8=\\E[?%[;0123456789]c, u9=\\E[c, vpa=\\E[%i%p1%dd,";
1d5694c1aa03 8203827: Upgrade JLine to 2.14.6
jlahoda
parents:
diff changeset
   591
}