Add an optional attribute for the property default value

The default-value attribute for a property element is fundamentally
meant for documentation generators.

We only care about the GIR data, as the conversion from the default
value to a string is lossy by definition, and may very well not
roundtrip.

1 files changed, 2 insertions, 0 deletions

diff --git a/giscanner/girwriter.py b/giscanner/girwriter.py
index 9ff10d31..a3b3bc3e 100644
--- a/giscanner/girwriter.py
+++ b/giscanner/girwriter.py
@@ -560,6 +560,8 @@ class GIRWriter(XMLWriter):
             attrs.append(('setter', prop.setter))
         if prop.getter:
             attrs.append(('getter', prop.getter))
+        if prop.default_value:
+            attrs.append(('default-value', prop.default_value))
         with self.tagcontext('property', attrs):
             self._write_generic(prop)
             self._write_type(prop.type)