diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-17 13:48:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-17 13:48:32 +0200 |
| commit | 7ffeabf6bbcdc44c29ff0d49321b289205034d66 (patch) | |
| tree | a6bb9435c61c0f23bda783799916ee163ac0141b /doc/classes | |
| parent | 4075c80ea9b6876db0b6dea0035c2e941142f98e (diff) | |
| parent | 77ff6de27e1a976f9001097779b03729228cc31d (diff) | |
Merge pull request #22119 from char0xff/doc_config
Fix mistake in ConfigFile.xml
Diffstat (limited to 'doc/classes')
| -rw-r--r-- | doc/classes/ConfigFile.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/ConfigFile.xml b/doc/classes/ConfigFile.xml index ec0381bda5..a4709c1c86 100644 --- a/doc/classes/ConfigFile.xml +++ b/doc/classes/ConfigFile.xml @@ -18,7 +18,7 @@ var err = config.load("user://settings.cfg") if err == OK: # if not, something went wrong with the file loading # Look for the display/width pair, and default to 1024 if missing - var screen_width = get_value("display", "width", 1024) + var screen_width = config.get_value("display", "width", 1024) # Store a variable if and only if it hasn't been defined yet if not config.has_section_key("audio", "mute"): config.set_value("audio", "mute", false) |