diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-20 14:30:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-20 14:30:49 +0000 |
| commit | fd0fb48493063c849c8a3f7d359d0d2c6c66f4ef (patch) | |
| tree | 96bfad0b33c4b711f52cf55762cd6843ce46d00c /src/editor/simple/editor.js | |
| parent | a53558aac04b103a1d2ca58c518ae4bfe2ff2c68 (diff) | |
Ctrl-C shouldn't terminate the GF shell
This quick fix should make Ctrl-C in the GF shell behave more like it does in
other shells: even if no command is running, Ctrl-C now just gives you a new
prompt instead of terminating the shell.
Diffstat (limited to 'src/editor/simple/editor.js')
0 files changed, 0 insertions, 0 deletions