Add properties to docs

[Hofer-Julian]

Gir currently adds an "Implements" section to the docs (e.g. see here)

To me it would make sense to add a "Properties" section as well. After a quick look it seems like most pieces already seem to be in place for that.

Unless anything speaks against it, I'd like to work on it.

[Hofer-Julian]

One counter point: GObjects like GtkWindow have many properties https://gnome.pages.gitlab.gnome.org/gtk/gtk4/class.Window.html#properties

[ps-19]

@bilelmoussaoui @Hofer-Julian sir link is broken in first post.

[ps-19]

can you please mention steps to remove this issue. I don't want to take any strain as i have lot of works related to college, internship.

[GuillaumeGomez]

One counter point: GObjects like GtkWindow have many properties https://gnome.pages.gitlab.gnome.org/gtk/gtk4/class.Window.html#properties

You can always wrap the properties in a <details> tag. It would like this:

Properties

Click to see the list of properties

• list
• of
• properties

[bilelmoussaoui]

can you please mention steps to remove this issue. I don't want to take any strain as i have lot of works related to college, internship.

The idea is to modify the generated docs (see src/codgen/docs) to make it generate a list of the properties/signals.