diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
| commit | da562e03a0126adf60d84682f5892b1f610a6ba5 (patch) | |
| tree | e938413b8f25f70562f93c60e7afe95ee82c473c /src/input_handler.hh | |
| parent | 83d0813b0ffc8f329a214b533467c761d734e0c1 (diff) | |
replace all std::vector with Vector
Diffstat (limited to 'src/input_handler.hh')
| -rw-r--r-- | src/input_handler.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/input_handler.hh b/src/input_handler.hh index 637e2271..d7d831a3 100644 --- a/src/input_handler.hh +++ b/src/input_handler.hh @@ -88,11 +88,11 @@ private: friend class InputMode; std::unique_ptr<InputMode> m_mode; - std::vector<std::unique_ptr<InputMode>> m_mode_trash; + Vector<std::unique_ptr<InputMode>> m_mode_trash; void change_input_mode(InputMode* new_mode); - using Insertion = std::pair<InsertMode, std::vector<Key>>; + using Insertion = std::pair<InsertMode, Vector<Key>>; Insertion m_last_insert = {InsertMode::Insert, {}}; char m_recording_reg = 0; |