diff options
| author | João Barbosa <joao.paulo.barbosa@gmail.com> | 2018-07-30 22:47:48 +0100 |
|---|---|---|
| committer | João Barbosa <joao.paulo.barbosa@gmail.com> | 2018-07-30 23:13:04 +0100 |
| commit | 7bf22bf0c21d13557ec46a67413819ebcabc3df0 (patch) | |
| tree | 217bcb113f44fe3f8fcea4ca30f78aefcc97d438 /README.md | |
| parent | 4a43306a4f643cf0d356d5d5e16913541f1bc893 (diff) | |
gui: Reject options dialog when key escape is pressed
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions