This patch simply adds some more applications that use GTK+ and answers the question
about catching double-click events in a widget. Minor grammatical mistakes are corrected,
too.