diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-26 21:42:26 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-26 21:42:26 +0200 |
| commit | 35ead0aaa5c7a7d9a17ab3dad65cfb9f0252889b (patch) | |
| tree | 887b53e67080383626fd2d21b8e2a122f1f50272 /src/monitor-gui.cc | |
| parent | 9ae48fac3ba4592a2257618f0ff5b1ce528499d8 (diff) | |
Add Config::remove
Removes any config value set by Config::set()
Diffstat (limited to 'src/monitor-gui.cc')
| -rw-r--r-- | src/monitor-gui.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc index 8044a02..4f4f2fb 100644 --- a/src/monitor-gui.cc +++ b/src/monitor-gui.cc @@ -260,6 +260,10 @@ public: memory_[key] = value; } + void remove(std::string const& key) override { + memory_.erase(key); + } + private: std::unordered_map<std::string, std::string> memory_; }; |