Re: Commenting online docs [Was: Howto retrieve selected font size from GtkFontButton]
On Wed, 2008-12-10 at 10:01 +0200, Stefan Kost wrote: My biggest issue is that this is a webapp that someone would need to write. Any volunters? Next years GSoC? We tried that but it seems that it was never finished: http://live.gnome.org/LiveDocumentationEditing -- Murray Cumming [EMAIL PROTECTED] www.murrayc.com www.openismus.com ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: Commenting online docs [Was: Howto retrieve selected font size from GtkFontButton]
Stefan Kost wrote: I prefer there's an official documentation with no comments, and the online documentation with the possibility to add comments. Just like in www.php.net/docs.php where you have the online documentation with comments, and if you choose to download the documentation (eg. to consult it offline) then you get the official version with no comments. And there is a lot of noise too. I agree that its better than nothing. One good thing would be if people can also rate the comments. If we would have a view for developers, they could look for high rates comments, take them to the sources and remove the comment. My biggest issue is that this is a webapp that someone would need to write. Any volunters? Next years GSoC? php.net/docs.php seems like a plausible starting point... is the source for that available? -- Dan ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: Commenting online docs [Was: Howto retrieve selected font size from GtkFontButton]
2008/12/10 Dan Winship [EMAIL PROTECTED]: Stefan Kost wrote: I prefer there's an official documentation with no comments, and the online documentation with the possibility to add comments. Just like in www.php.net/docs.php where you have the online documentation with comments, and if you choose to download the documentation (eg. to consult it offline) then you get the official version with no comments. And there is a lot of noise too. I agree that its better than nothing. One good thing would be if people can also rate the comments. If we would have a view for developers, they could look for high rates comments, take them to the sources and remove the comment. My biggest issue is that this is a webapp that someone would need to write. Any volunters? Next years GSoC? php.net/docs.php seems like a plausible starting point... is the source for that available? Another option is the Django Book comment system: http://www.djangobook.com/about/comments/ I'm not sure if the code is available either, I'll try to figure out. -- Dan ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list -- Un saludo, Alberto Ruiz ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Commenting online docs [Was: Howto retrieve selected font size from GtkFontButton]
Nelson Benítez León schrieb: 2008/12/3 Christian Dywan [EMAIL PROTECTED]: Am Wed, 3 Dec 2008 12:31:23 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: 2008/12/2 Stefan Kost [EMAIL PROTECTED]: Nelson Benítez León schrieb: 2008/12/2 Sven Herzberg [EMAIL PROTECTED] 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. The problem with that approach is that not everyone is using the online documentation. For one, it requires a perfect network connection, which you may not have if you're traveling or somewhere without permanent broadband. Plus it is obviously slower and less convenient to search, compare to 'devhelp'. Hence I agree with Stefan's assumption that comments should be folded back into the sources. I think nowadays, thanks to library.gnome.org, most people use online documentation, it's way more practical because you don't have to install any package, it's always up-to-date, it has a good google search and you can open the information in several tabs with your browser. I use devhelp all the time. I only use library.gnome.org, when I am in a meeting using my window laptop :) But I don't think this is an online vs offline documentation question, I'm talking about adding a feature to the online docs, if people want later to add that feature to the offline docs they can, just save the html output of the online docs to disk in some browseable format. It would really need an administrative iface too to process the comments. Maybe a compromise would be that there is a page that lists all user provided pieces, so that developers can easily go over the list, decide what's useful, file a documentation bug if appropriate, and also remove false information if needed. It would add a bit of maintanance but if it can be integrated with bugzilla logins/ permissions, it might be an overwieable overhead. I don't like this approach, it requires manpower, and what is worse, someone who decides what is useful and whatnot, that is subjective, I prefer there's an official documentation with no comments, and the online documentation with the possibility to add comments. Just like in www.php.net/docs.php where you have the online documentation with comments, and if you choose to download the documentation (eg. to consult it offline) then you get the official version with no comments. And ther eis a lot of noise too. I agree that its better than nothing. One good thing would be if people can also rate the comments. If we would have a view for developers, they could look for high rates comments, take them to the sources and remove the comment. My biggest issue is that this is a webapp that someone would need to write. Any volunters? Next years GSoC? Stefan ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
Am Wed, 3 Dec 2008 12:31:23 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: 2008/12/2 Stefan Kost [EMAIL PROTECTED]: Nelson Benítez León schrieb: 2008/12/2 Sven Herzberg [EMAIL PROTECTED] 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. The problem with that approach is that not everyone is using the online documentation. For one, it requires a perfect network connection, which you may not have if you're traveling or somewhere without permanent broadband. Plus it is obviously slower and less convenient to search, compare to 'devhelp'. Hence I agree with Stefan's assumption that comments should be folded back into the sources. Maybe a compromise would be that there is a page that lists all user provided pieces, so that developers can easily go over the list, decide what's useful, file a documentation bug if appropriate, and also remove false information if needed. It would add a bit of maintanance but if it can be integrated with bugzilla logins/ permissions, it might be an overwieable overhead. ciao, Christian ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
On Wed, 2008-12-03 at 14:34 +0100, Nelson Benítez León wrote: I think nowadays, thanks to library.gnome.org, most people use online documentation, it's way more practical because you don't have to install any package, it's always up-to-date, it has a good google search and you can open the information in several tabs with your browser. I'd be greatly surprised if that is the case. I can press F11 and get context sensitive help for the function call I'm writing in a fraction of a second with Devhelp without any context switching. Compared to switching to a web browser and making the search it is vastly faster. Also the online docs may be more up to date, but what if your libraries are not? Ross -- Ross Burton mail: [EMAIL PROTECTED] jabber: [EMAIL PROTECTED] www: http://burtonini.com signature.asc Description: This is a digitally signed message part ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
On Wed, 2008-12-03 at 14:34 +0100, Nelson Benítez León wrote: I think nowadays, thanks to library.gnome.org, most people use online documentation, it's way more practical because you don't have to install any package, it's always up-to-date, it has a good google search and you can open the information in several tabs with your browser. But I don't think this is an online vs offline documentation question, I'm talking about adding a feature to the online docs, if people want later to add that feature to the offline docs they can, just save the html output of the online docs to disk in some browseable format. I strongly disagree with this, and while I can't speak for everyone, I'll join Ross in saying that I always use Devhelp over library.gnome.org. You can use tabs in Devhelp, and its search has never failed me. One of the main advantages of Devhelp, as Ross says, is that the documentation you have installed is tied to the library versions against which you're developing, so you don't get into muddles over changed/added/removed API. I don't like this approach, it requires manpower, and what is worse, someone who decides what is useful and whatnot, that is subjective, I prefer there's an official documentation with no comments, and the online documentation with the possibility to add comments. Just like in www.php.net/docs.php where you have the online documentation with comments, and if you choose to download the documentation (eg. to consult it offline) then you get the official version with no comments. Developers moderating submitted improvements to the documentation is no more subjective than them moderating patches. They know the code and its behaviour the best, and it's only really a matter of making sure that they set a consistent baseline for how simple the documentation is (in terms of what it assumes the reader knows already). I don't see that as being a problem. I've used the online PHP documentation, and the comments on it are more often than not quite helpful, and very suitable for inclusion into the offline documentation. However, there are also many cases where the comments are incorrect or contradictory, and that's why periodic moderation (and merging into the source code) is required. Philip signature.asc Description: This is a digitally signed message part ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Howto retrieve selected font size from GtkFontButton
Hi, Gtkfontbutton provides api to get the name of the selected font, but not to get the selected font size, so I would appreciate if you know of some way to get the size, or if that is not possible, if you will accept a patch to provide that api.. Thank you ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: Howto retrieve selected font size from GtkFontButton
Am Tue, 2 Dec 2008 14:19:49 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: 2008/12/2 Christian Dywan [EMAIL PROTECTED] Am Tue, 2 Dec 2008 14:03:01 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: Hi, Gtkfontbutton provides api to get the name of the selected font, but not to get the selected font size, so I would appreciate if you know of some way to get the size, or if that is not possible, if you will accept a patch to provide that api.. Thank you Hey, you can convert the font string with pango_font_description_from_string and then obtain the size easily. I would however also think the font button should provide API for that. Ideally it were a GtkFontSelection but unfortunately that's not the case. And, how could I get the font string of the currently selected font in the gtkfontbutton? to pass it to pango_font_description_from_string later... gtk_font_button_get_font_name That returns the font name, as seen in the button, including styles and size. Yours, Christian ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: Howto retrieve selected font size from GtkFontButton
Am Dienstag, den 02.12.2008, 14:55 +0100 schrieb Christian Dywan: Am Tue, 2 Dec 2008 14:19:49 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: 2008/12/2 Christian Dywan [EMAIL PROTECTED] Am Tue, 2 Dec 2008 14:03:01 +0100 schrieb Nelson Benítez León [EMAIL PROTECTED]: Hi, Gtkfontbutton provides api to get the name of the selected font, but not to get the selected font size, so I would appreciate if you know of some way to get the size, or if that is not possible, if you will accept a patch to provide that api.. Thank you Hey, you can convert the font string with pango_font_description_from_string and then obtain the size easily. I would however also think the font button should provide API for that. Ideally it were a GtkFontSelection but unfortunately that's not the case. And, how could I get the font string of the currently selected font in the gtkfontbutton? to pass it to pango_font_description_from_string later... gtk_font_button_get_font_name That returns the font name, as seen in the button, including styles and size. Right. So, Nelson, if you want to render something with the font, just use pango_font_description_from_string() and use the font description. If you're interested in peeking certain values (family name, style, size, weight), just query these properties from the PangoFontDescription. Regards, Sven ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
[Patch] Re: Howto retrieve selected font size from GtkFontButton
http://bugzilla.gnome.org/show_bug.cgi?id=562998 Regards, Sven ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
2008/12/2 Sven Herzberg [EMAIL PROTECTED] 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. ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
Nelson Benítez León schrieb: 2008/12/2 Sven Herzberg [EMAIL PROTECTED] 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. Stefan ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
Re: [Patch] Re: Howto retrieve selected font size from GtkFontButton
On Tue, Dec 2, 2008 at 5:30 PM, Nelson Benítez León [EMAIL PROTECTED]wrote: 2008/12/2 Sven Herzberg [EMAIL PROTECTED] 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. A moderated wiki perhaps? Of course this almost instantly fails on the point of manpower. ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list -- Please note that according to the German law on data retention, information on every electronic information exchange with me is retained for a period of six months. [Bitte beachten Sie, dass dem Gesetz zur Vorratsdatenspeicherung zufolge jeder elektronische Kontakt mit mir sechs Monate lang gespeichert wird.] ___ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list