Deprecate getter/setter methods that duplicate attributes Add deprecated notes. Also combine docs for attributes synthesised out of getter/setter methods.
Deprecate getter/setter methods that duplicate attributes
Add deprecated notes.
Also combine docs for attributes synthesised out of getter/setter methods.


gtk2hs/webkit,gtk2hs/webkit,gtk2hs/gstreamer,gtk2hs/webkit,gtk2hs/vte,gtk2hs/vte