From: Vladimír Vondruš <mosra@centrum.cz>
Date: Fri, 6 Sep 2019 11:52:58 +0000 (+0200)
Subject: documentation/python: add some TODOs.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=117c48f723fb719bbbf1b0af74eaa987a6c146a6;p=blog.git

documentation/python: add some TODOs.
---

diff --git a/documentation/python.py b/documentation/python.py
index 69b29773..1001aca8 100755
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -481,10 +481,10 @@ def crawl_class(state: State, path: List[str], class_):
                 class_entry.members += [attrib.name]
 
             entry = Empty()
-            entry.type = EntryType.PROPERTY
+            entry.type = EntryType.PROPERTY # TODO: or data?
             entry.object = attrib
             entry.path = subpath
-            entry.url = '{}#{}'.format(class_entry.url, state.config['ID_FORMATTER'](EntryType.PROPERTY, subpath[-1:]))
+            entry.url = '{}#{}'.format(class_entry.url, state.config['ID_FORMATTER'](EntryType.PROPERTY, subpath[-1:])) # TODO: or data?
             state.name_map['.'.join(subpath)] = entry
 
     # Add itself to the name map