diff options
| author | Tom Tanner <thosrtanner2@users.sourceforge.net> | 2015-06-23 20:27:38 +0100 |
|---|---|---|
| committer | Tom Tanner <thosrtanner2@users.sourceforge.net> | 2015-06-23 20:27:38 +0100 |
| commit | ca591dbd230bf49abad63bb13a30d04cc4725ff8 (patch) | |
| tree | 20ff6946e69c461a78df5cb769d4b433ea7ddc8a /src/settings.h | |
| parent | 7602fef6e7ffe8afa531c5b0ef6205b05a8e33a5 (diff) | |
and now I find out I don't need to do it at all
Diffstat (limited to 'src/settings.h')
| -rw-r--r-- | src/settings.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/settings.h b/src/settings.h index 7d6fe229..def1dc5c 100644 --- a/src/settings.h +++ b/src/settings.h @@ -202,12 +202,12 @@ public: /** * @return true if the user configured the use of a network proxy */ - bool useProxy(); + bool useProxy() const; /** * @return true if the user wants to see non-official plugins installed outside MO in his mod list */ - bool displayForeign(); + bool displayForeign() const; /** * @brief sets the new motd hash |