diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-10 15:23:44 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-10 15:23:44 -0400 |
| commit | b33141a98b618c36b5951bc206b78ab41a5f6a0d (patch) | |
| tree | ca2898d4b299b7193d7bac032a5868f8b3aeb571 | |
| parent | f3cc109b06a7599bc125240dd55f8639582eea4e (diff) | |
Clarify that has() doesn't count as reading for unread_keys
| -rw-r--r-- | site/spec.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/site/spec.html b/site/spec.html index 481a32f..12e19e6 100644 --- a/site/spec.html +++ b/site/spec.html @@ -538,7 +538,8 @@ time = 35 min <li> <code>unread_keys(conf: Configuration) -> List<String></code><br> Returns a list of all keys which have not been the target of a <code>get</code> / <code>get_*</code> - call, either directly or through a section obtained from the <code>section</code> function, + call (does <em>not</em> include <code>has</code>), + either directly or through a section obtained from the <code>section</code> function, in an arbitrary order. When configurations are merged, the gotten-ness of the values is preserved. Whether or not getting values from the merged configuration affects the original configurations’ |