diff options
Diffstat (limited to 'src/table/gameopt_settings.ini')
-rw-r--r-- | src/table/gameopt_settings.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/table/gameopt_settings.ini b/src/table/gameopt_settings.ini index 968191f12..8f7861942 100644 --- a/src/table/gameopt_settings.ini +++ b/src/table/gameopt_settings.ini @@ -25,6 +25,7 @@ static const char *_server_langs = "ANY|ENGLISH|GERMAN|FRENCH|BRAZILIAN|BULGARIA #endif /* ENABLE_NETWORK */ static const char *_osk_activation = "disabled|double|single|immediately"; static const char *_settings_profiles = "easy|medium|hard"; +static const char *_news_display = "off|summarized|full"; static const SettingDesc _gameopt_settings[] = { /* In version 4 a new difficulty setting has been added to the difficulty settings, |