diff options
author | Robert C. Helling <helling@atdotde.de> | 2014-04-24 23:58:58 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2014-04-25 07:19:18 -0700 |
commit | b068ae6019982d20a17ca3f366a866c2ee24ee4c (patch) | |
tree | 761d2a0b25dce0312c71e687c763bcf3d704b057 /webservice.h | |
parent | 0aa8b7f47d1122764dcd979774b912ee7936f160 (diff) | |
download | subsurface-b068ae6019982d20a17ca3f366a866c2ee24ee4c.tar.gz |
Close user manual window shortcut
Add ability to close the user manual window with a Ctrl-W shortcut.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'webservice.h')
0 files changed, 0 insertions, 0 deletions