[Geany-devel] [PATCH 17/19] Make the tab switching dialog a bit more useful