Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton

["Nelson Benítez León" <nbenitezl gmail com>]

2008/12/2 Stefan Kost <ensonic hora-obscura de>:
> Nelson Benítez León schrieb:
>> 2008/12/2 Sven Herzberg <herzi gnome-de org>
>>> http://bugzilla.gnome.org/show_bug.cgi?id=562998
>>
>> Ok, thank you!,  I was about to suggest that, because I thought
>> gtk_font_button_get_font_name just returned the font name, thanks for
>> this doc improvements, it would be easier if the online docs permited
>> user contributed notes.
>
> Let me chime in as the gtk-doc maintainer. While that sounds like a good idea
> its not that simple. If someone has a complete proposal I would be willing to
> help doing it. Problem is to feed the comments back into the docs which are in
> the sources.

I don't think comments need to go back to sources, comments would be
in mysql indexed by the symbol name they referred to (function name,
class name, signal name, etc) and there would be a php page that will
combine the gtk-doc html with the comments and present that to the
user.