diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-09-16 19:04:19 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-09-16 19:04:19 +0100 |
| commit | 73c0fa175ed7016ffe2980b29d090de770718efa (patch) | |
| tree | c3506fff09fad8e3670ade1a970939de891b9fe6 /src/user_interface.hh | |
| parent | 73bedda8b9834e141627c45cf4653a81d9af65d2 (diff) | |
Use IdMap instead of UnorderedMap for ui options and env vars
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index 5f87d58b..daae4f9d 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -3,7 +3,7 @@ #include "array_view.hh" #include "safe_ptr.hh" -#include "unordered_map.hh" +#include "id_map.hh" #include <functional> @@ -67,7 +67,7 @@ public: virtual void set_input_callback(InputCallback callback) = 0; - using Options = UnorderedMap<String, String, MemoryDomain::Options>; + using Options = IdMap<String, MemoryDomain::Options>; virtual void set_ui_options(const Options& options) = 0; }; |