diff options
Diffstat (limited to 'src/gui/theme.h')
| -rw-r--r-- | src/gui/theme.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/theme.h b/src/gui/theme.h index cbda2ee4d..4d99649da 100644 --- a/src/gui/theme.h +++ b/src/gui/theme.h @@ -68,7 +68,7 @@ class Skin final /** * Returns the background skin. */ - const ImageRect &getBorder() const + ImageRect &getBorder() const { return *mBorder; } /** @@ -104,7 +104,7 @@ class Skin final int getTitlePadding() const { return mTitlePadding; } - int getOption(std::string name) + int getOption(const std::string &name) const { if (mOptions->find(name) != mOptions->end()) return (*mOptions)[name]; |