Devhelp 0.13 released!

About Devhelp
Devhelp is a developer tool for browsing and searching API documentation
for GTK+ and GNOME.

About this release
This is a maintenance release containing mostly small improvements and bug fixes. The full list of changes:

  • Revert theme change since it breaks gecko < 1.9
  • Make deprecated keywords grey
  • Only search for books in the XDG data/home directories
  • Fixed #310542, Improve the gtk-doc devhelp format (Richard)
  • Fixed #349229, Documentation page header is transparent (Richard)
  • Fixed #349352, GConf schema has wrong key (Jonathon Jongsma)
  • Fixed #349880, add a generic name to the .desktop file (Matthias Clasen)
  • Fixed #341170, Added gecko_home variable to .pc file (Naba Kumar)
  • Fixed #334867, Initialize the HTML view to display about:blank (David Trowbridge)

Translations:

  • Updated el: Kostas Papadimas
  • Updated fr: Christophe Merlet
  • Updated bg: Alexander Shopov
  • Updated sv: Richard Hult
  • Updated pt: Duarte Loreto
  • Updated vi: Clytie Siddall
  • Updated nb: Kjartan Maraas
  • Updated de: Hendrik Richter
  • Updated ko: Changwoo Ryu
  • Updated ne: Pawan Chitrakar
  • Updated it: Alessio Frusciante
  • Updated ar: Djihed Afifi
  • Updated es: Francisco Javier F. Serrador
  • Updated sl: Matic Zgur
  • Updated et: Priit Laes
  • Updated hu: Gabor Kelemen
  • Updated gl: Ignacio Casal Quinteiro
  • Updated ca: Josep Puigdemont i Casamajó
  • Updated en_GB: David Lodge

Download
http://download.gnome.org/sources/devhelp/0.13/

Website
More information about Devhelp can be found at the project web pages:
http://developer.imendio.com/projects/devhelp

Enjoy,
Devhelp hackers

I'd like to make some

I'd like to make some improvements to gnome-launch-box because it is not meeting my needs right now. I'd like to contribute these changes to the community as well. Is there someone I can send patches to?

For your information, the changes I'm planning on making:

* Fix a possible memory leak that does not seem to deallocate list items after they're used (not sure about this one, needs more research).
* Make queries to the modules asynchronous. As it is, I have to wait for my usb disk to spin up before launch box returns any results. This behavior is not very good. What I'd prefer to see happen is each module searched for results as quickly as they can be searched. As modules return their results, I would add them to the list store in batches so that they appear as they are found. Obviously, applications would be searched first.
* Add a new module that keeps track of recent or popular queries. This would reduce the amount of time to response significantly.
* Add a scoring system that attempts to find the most relevant result among the possibilities.
* (Possibly) Add a deeper indexing system that allows recall faster than what is currently available.

Sorry, I would have emailed, but I couldn't find any contact information.

Hi, (You can use the

Hi,

(You can use the "general discussions" forum on this site to discuss gnome-launch-box)

Nice to hear that you want to work on launch box! You can create bugs and attach patches in the bug tracker: http://developer.imendio.com/issues/browse/GLB

All of you suggestions are things I have been wanting for a while, especially async querying and the scoring system.

/Richard