diff options
| author | AL <26797547+Al12rs@users.noreply.github.com> | 2020-02-17 03:26:47 +0100 |
|---|---|---|
| committer | AL <26797547+Al12rs@users.noreply.github.com> | 2020-02-17 03:26:47 +0100 |
| commit | 5043a930cedd67d8d9fde67462373ea181c30a08 (patch) | |
| tree | 02222e20c5db1940c205eb4f6b7bd860d83cf140 /src/settings.h | |
| parent | 112f91357e20b4a1638b6deeff1c71dfea66eb72 (diff) | |
Add setting to disable splash since it can cause load time increase
use_spash=true by default. It's not exposed to the ui for now.
Diffstat (limited to 'src/settings.h')
| -rw-r--r-- | src/settings.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings.h b/src/settings.h index 0e5238b1..678226c1 100644 --- a/src/settings.h +++ b/src/settings.h @@ -720,6 +720,10 @@ public: bool usePrereleases() const; void setUsePrereleases(bool b); + // whether to use spascreen or not + // + bool useSplash() const; + void setUseSplash(bool b); GameSettings& game(); const GameSettings& game() const; |