(Arne Babenhauserheide)
2011-10-21: note on config extension checking (b) note on config extension checking (b)
diff --git a/.bugs/details/1d631d51ff06b3bdca50e21da3d6a00bcb801c85.txt b/.bugs/details/1d631d51ff06b3bdca50e21da3d6a00bcb801c85.txt --- a/.bugs/details/1d631d51ff06b3bdca50e21da3d6a00bcb801c85.txt +++ b/.bugs/details/1d631d51ff06b3bdca50e21da3d6a00bcb801c85.txt @@ -12,6 +12,10 @@ for consistency: everything uses name/<h alternatively issue/<id>/#name → name only as anchor but not with any real meaning. +To test for an extension: +ui.config(section, name, default=None, untrusted=False) +ui.configbool(section, name, default=False, untrusted=False) + [expected] # The expected result