diff options
| author | Gabriel Kerneis | 2014-06-09 16:54:00 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-09 16:54:00 +0100 |
| commit | fe62f284dde251076cabeea189b08324e672214b (patch) | |
| tree | 94e54389f4fbad9c8e8a0d1833525f4289383926 /src/util.ml | |
| parent | a4bfd24ad3756f46b241adc043a74603df78bfad (diff) | |
Improve interaction after chat with Peter
- remember mode (run, step or next) between instructions
- display continuation by default in step mode
- start in step mode by default
- incompatible change: the shorthand for stack is now bt (=backtrace),
since s becomes the shorthand for step
- incompatible change: pressing enter now repeats the current mode,
instead of "step"
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions