Sets the input mode. @param mode mode
(final String mode)
| 106 | * @param mode mode |
| 107 | */ |
| 108 | void mode(final String mode) { |
| 109 | hint(mode + Text.DOTS).setText(""); |
| 110 | |
| 111 | final Data data = gui.context.data(); |
| 112 | final int i = data == null ? 2 : gui.gopts.get(GUIOptions.SEARCHMODE); |
| 113 | history(i == 0 ? GUIOptions.SEARCH : i == 1 ? |
| 114 | GUIOptions.XQUERY : GUIOptions.COMMANDS, gui.gopts); |
| 115 | } |
| 116 | |
| 117 | /** |
| 118 | * Checks if the input is a command. |