diff options
| author | Aylur <[email protected]> | 2024-12-21 21:24:42 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-21 21:24:42 +0100 |
| commit | 0507a6bf1035ddbe72fdb64c0fb5dc1c991faeaf (patch) | |
| tree | 65a46958208fa36e5b05aa4b5a9495f896f0d641 /nix/doc/gi-docgen.patch | |
| parent | dafb191661d88c3182b6571461df56687ec90cdd (diff) | |
nix: refactor (#197)
close #192
Diffstat (limited to 'nix/doc/gi-docgen.patch')
| -rw-r--r-- | nix/doc/gi-docgen.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/nix/doc/gi-docgen.patch b/nix/doc/gi-docgen.patch deleted file mode 100644 index 0ecb4bd..0000000 --- a/nix/doc/gi-docgen.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/gidocgen/gir/parser.py b/gidocgen/gir/parser.py -index e62835d..7ee60fa 100644 ---- a/gidocgen/gir/parser.py -+++ b/gidocgen/gir/parser.py -@@ -288,7 +288,11 @@ class GirParser: - - content = child.text or "" - -- return ast.Doc(content=content, filename=child.attrib['filename'], line=int(child.attrib['line'])) -+ return ast.Doc( -+ content=content, -+ filename=child.attrib.get('filename', ''), -+ line=int(child.attrib.get('line', 0)), -+ ) - - def _maybe_parse_source_position(self, node: ET.Element) -> T.Optional[ast.SourcePosition]: - child = node.find('core:source-position', GI_NAMESPACES) |