geany/geany — pull request #111 by elextr (2013-02-21 06:13:33+00:00)
Title: More verbose update to manual for Terminal setting

Provide a more complete description of the use of the changed
Terminal setting in several places.

Needs review since my ReST knowledge is *very* sketchy.