diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:28:23 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:28:23 +0000 |
| commit | 517abf5e74636052007db0938067aee7bf658965 (patch) | |
| tree | 62e9353a3a50809783f0ec1924da72a37fab5e90 /src/command_manager.hh | |
| parent | 99ca7ead37ce5ee102b6dc4bdbf977119b347fb9 (diff) | |
Redisplay info when menu appears so that info adapts its position
Diffstat (limited to 'src/command_manager.hh')
0 files changed, 0 insertions, 0 deletions