diff options
Diffstat (limited to 'src/gui/theme.h')
| -rw-r--r-- | src/gui/theme.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/gui/theme.h b/src/gui/theme.h index 42f3495c8..5cf1a50f4 100644 --- a/src/gui/theme.h +++ b/src/gui/theme.h @@ -120,6 +120,14 @@ class Skin final return 0; } + int getOption(const std::string &name, const int def) const + { + if (mOptions->find(name) != mOptions->end()) + return (*mOptions)[name]; + else + return def; + } + int instances; private: |