[gobject-introspection/gir-docbook] [docbook] Add Properties section

[Laszlo Pandy <lpandy src gnome org>]

commit 5a54b4693d41355796039af34e1a82f5067225e1
Author: Laszlo Pandy <lpandy src gnome org>
Date:   Thu Aug 11 11:51:50 2011 +0200

    [docbook] Add Properties section

 giscanner/docbookwriter.py |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/giscanner/docbookwriter.py b/giscanner/docbookwriter.py
index f5aaff7..7a1bbff 100644
--- a/giscanner/docbookwriter.py
+++ b/giscanner/docbookwriter.py
@@ -233,6 +233,16 @@ class DocBookWriter(object):
             #         self._writer.write_line(desc)
 
             with self._writer.tagcontext('refsect1',
+                                        [('id', '%s.properties' % page.name),
+                                         ('role', 'properties')]):
+                self._writer.write_tag("title", [('role', 'properties.title')],
+                                      "Properties")
+                with self._writer.tagcontext("synopsis"):
+                    self._writer.disable_whitespace()
+                    self._writer.write_line('')
+                    self._writer.enable_whitespace()
+
+            with self._writer.tagcontext('refsect1',
                                         [('id', "%s-details" % page.name),
                                          ("role", "details")]):
                 self._writer.write_tag("title", [("role", "details.title")],