diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-23 15:28:55 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-23 15:28:55 +0200 |
commit | 53343b794097b64b5e5983cf69c7a2eebd46a666 (patch) | |
tree | 00653ebed073eb2a245a37c08a42dfddcd9fa663 /_exts/typescriptdomain.py | |
parent | 5c775f398da0e7cf224d62597224e4a80245efad (diff) | |
parent | 8b8544dcc8e27bcc24b90903e26a351843dfb0e1 (diff) | |
download | docs-53343b794097b64b5e5983cf69c7a2eebd46a666.tar.gz docs-53343b794097b64b5e5983cf69c7a2eebd46a666.tar.bz2 docs-53343b794097b64b5e5983cf69c7a2eebd46a666.zip |
Merge branch 'master' of git+ssh://git.taler.net/docs
Diffstat (limited to '_exts/typescriptdomain.py')
-rw-r--r-- | _exts/typescriptdomain.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/_exts/typescriptdomain.py b/_exts/typescriptdomain.py index 44e30f7b..ce21b3b0 100644 --- a/_exts/typescriptdomain.py +++ b/_exts/typescriptdomain.py @@ -388,7 +388,9 @@ class LinkingHtmlFormatter(HtmlFormatter): if tok_getprop(tok, "is_identifier"): if xref.startswith('"'): return value - if xref in ("number", "object", "string", "boolean", "any", "true", "false", "null"): + if re.match("^[0-9]+$", xref) is not None: + return value + if xref in ("number", "object", "string", "boolean", "any", "true", "false", "null", "undefined", "Array"): return value if xref is None: |