change ; over to SPACE
This commit is contained in:
@@ -93,8 +93,8 @@ X = _0
|
||||
Z = _2
|
||||
```
|
||||
|
||||
Pressing ; will backtrack through other possible answers, if any exist.
|
||||
Pressing . will abort the search and return to the prompt.
|
||||
Pressing `SPACE` will backtrack through other possible answers, if any exist.
|
||||
Pressing `.` will abort the search and return to the prompt.
|
||||
|
||||
Wildcards work as well:
|
||||
|
||||
|
||||
@@ -433,7 +433,7 @@ pub fn print(wam: &mut Machine, result: EvalSession) {
|
||||
|
||||
for c in stdin.keys() {
|
||||
match c.unwrap() {
|
||||
Key::Char(';') => {
|
||||
Key::Char(' ') => {
|
||||
write!(stdout, " ;\n\r").unwrap();
|
||||
result = wam.continue_query(&alloc_locs, &mut heap_locs);
|
||||
break;
|
||||
|
||||
Reference in New Issue
Block a user