diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:45:44 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:45:44 +0000 |
| commit | 83d0813b0ffc8f329a214b533467c761d734e0c1 (patch) | |
| tree | e09c76bbd17a834be8fa433868076af8399879ea /src/keymap_manager.hh | |
| parent | f1f10639a55ef5fdb53035afccf98ab8801241af (diff) | |
Yet more tracking
Diffstat (limited to 'src/keymap_manager.hh')
| -rw-r--r-- | src/keymap_manager.hh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/keymap_manager.hh b/src/keymap_manager.hh index 8387e1ef..dd05c176 100644 --- a/src/keymap_manager.hh +++ b/src/keymap_manager.hh @@ -4,8 +4,7 @@ #include "keys.hh" #include "hash.hh" #include "unordered_map.hh" - -#include <vector> +#include "vector.hh" namespace Kakoune { @@ -29,7 +28,7 @@ class KeymapManager public: KeymapManager(KeymapManager& parent) : m_parent(&parent) {} - using KeyList = std::vector<Key>; + using KeyList = Vector<Key, MemoryDomain::Mapping>; void map_key(Key key, KeymapMode mode, KeyList mapping); void unmap_key(Key key, KeymapMode mode); @@ -44,7 +43,7 @@ private: KeymapManager* m_parent; using KeyAndMode = std::pair<Key, KeymapMode>; - using Keymap = UnorderedMap<KeyAndMode, KeyList>; + using Keymap = UnorderedMap<KeyAndMode, KeyList, MemoryDomain::Mapping>; Keymap m_mapping; }; |
