From 46581f1c65d3e046f01d0f447b9e4eb1199877f8 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sun, 8 Sep 2019 22:54:02 +1000 Subject: [PATCH] Fix printing of F12 key --- src/keys.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/keys.cc b/src/keys.cc index 8254f6cb..a424bb42 100644 --- a/src/keys.cc +++ b/src/keys.cc @@ -175,7 +175,7 @@ String key_to_str(Key key) named = true; res = it->name; } - else if (key.key >= Key::F1 and key.key < Key::F12) + else if (key.key >= Key::F1 and key.key <= Key::F12) { named = true; res = "F" + to_string((int)(key.key - Key::F1 + 1));