diff --git a/changes/3806-garyd203.md b/changes/3806-garyd203.md new file mode 100644 index 0000000..25b2217 --- /dev/null +++ b/changes/3806-garyd203.md @@ -0,0 +1 @@ +Update documentation about lazy evaluation of sources for Settings (it's not actually done). diff --git a/docs/usage/settings.md b/docs/usage/settings.md index 3ab5821..6bb752a 100644 --- a/docs/usage/settings.md +++ b/docs/usage/settings.md @@ -278,6 +278,3 @@ You might also want to disable a source: {!.tmp_examples/settings_disable_source.py!} ``` _(This script is complete, it should run "as is", here you might need to set the `my_api_key` environment variable)_ - -Because of the callables approach of `customise_sources`, evaluation of sources is lazy so unused sources don't -have an adverse effect on performance.