tree e7479b957bd3d42b51b9ee9036428f34b545bc4c
parent e6f49d74763f2dce050de0ad8e51cc85013df660
author gwenn <gtreguier@gmail.com> 1536487329 +0200
committer gwenn <gtreguier@gmail.com> 1536490063 +0200

Improve key press handling

BackTab (Shift-Tab) on both unix and windows
F1...F5 on linux console
Ctrl-Space on windows