diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-11-12 13:57:14 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-11-12 13:57:14 +0000 |
| commit | 2113b829df79f1c7427a368c84d3ffdf3d6328ae (patch) | |
| tree | 19a7f79fea6e04178914676b2d85b9c7d1e825e1 /src/input_handler.cc | |
| parent | 2026aac26bfd330b98dda276df1f4eb133d823f0 (diff) | |
Show an info box explaining that spaces disable history recording in command prompt
Fixes #477
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions