diff options
| author | char0xff <char0xff@users.noreply.github.com> | 2018-09-15 21:06:32 +0200 |
|---|---|---|
| committer | char0xff <char0xff@users.noreply.github.com> | 2018-09-15 21:06:32 +0200 |
| commit | 77ff6de27e1a976f9001097779b03729228cc31d (patch) | |
| tree | 740f677ab85435f3b7f577dbb8a640aaa5fe833c /doc/classes/ConfigFile.xml | |
| parent | 2cf024ed916abf565011b254ea4f69c04781964c (diff) | |
Fix mistake in ConfigFile.xml
Diffstat (limited to 'doc/classes/ConfigFile.xml')
| -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) |