Lines Matching defs:wait
1839 final boolean wait;
1841 EditorSetting(String[] cmd, boolean wait) {
1842 this.wait = wait;
1855 boolean wait = false;
1858 wait = waitMarker == WAIT_PREFIX;
1862 return new EditorSetting(cmd, wait);
1873 : (wait ? WAIT_PREFIX : NORMAL_PREFIX) + String.join(RECORD_SEPARATOR, cmd));
1880 return Arrays.equals(cmd, ed.cmd) && wait == ed.wait;
1890 hash = 71 * hash + (this.wait ? 1 : 0);
1907 at.allowedOptions("-default", "-wait", "-retain", "-delete");
1919 this.waitOption = at.hasOption("-wait");
1965 errormsg("jshell.err.wait.applies.to.external.editor", at.whole());
1989 if (ed.wait) {
1990 elems = Stream.concat(Stream.of("-wait"), elems);
2428 editor.wait,