diff options
Diffstat (limited to 'src/gui/theme.cpp')
| -rw-r--r-- | src/gui/theme.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/gui/theme.cpp b/src/gui/theme.cpp index be1433e87..9898aebfc 100644 --- a/src/gui/theme.cpp +++ b/src/gui/theme.cpp @@ -400,8 +400,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full) int stickySpacing = 3; int stickyPadding = 3; int resizePadding = 2; - std::map<std::string, int> *const mOptions - = new std::map<std::string, int>(); + StringIntMap *const mOptions = new StringIntMap; // iterate <widget>'s for_each_xml_child_node(widgetNode, rootNode) |