mirror of
https://github.com/php/doc-gtk.git
synced 2026-03-24 17:12:18 +01:00
are like properties, but can't be set directly. To distinguish them, I added a <styleproperties> tag that may occur after <properties> and has the same <prop> child elements. The only change is that they get their own header, and their own disclaimer.