From 7f0e82dd81abf7afbaa80cc26b71e0a602744289 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Sun, 4 May 2014 11:48:39 +0100
Subject: [PATCH] minor style tweak

---
 src/keymap_manager.hh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/keymap_manager.hh b/src/keymap_manager.hh
index caf4174a..7ccdba61 100644
--- a/src/keymap_manager.hh
+++ b/src/keymap_manager.hh
@@ -36,7 +36,8 @@ private:
 
     KeymapManager* m_parent;
 
-    using Keymap = std::unordered_map<std::pair<Key, KeymapMode>, std::vector<Key>>;
+    using KeyList = std::vector<Key>;
+    using Keymap = std::unordered_map<std::pair<Key, KeymapMode>, KeyList>;
     Keymap m_mapping;
 };