Support tooltips for properties in gtk3-clients' editor.
commit07fbb7056199e94aed2205272f5ed15d1603958b
authorcazfi <cazfi@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
Wed, 5 Oct 2016 05:27:31 +0000 (5 05:27 +0000)
committercazfi <cazfi@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
Wed, 5 Oct 2016 05:27:31 +0000 (5 05:27 +0000)
treec7fbdd196e45ee5c6feb8af78e633a05d75eba9c
parenta4ff7b2497f8192614d8a7901691008e0f3dd1cf
Support tooltips for properties in gtk3-clients' editor.

Patch by pepeto <pepeto> and myself

See bug #15580

git-svn-id: svn://svn.gna.org/svn/freeciv/branches/S2_6@34004 a0f10bec-cc02-0410-94fc-a9cfff90b4cd
client/gui-gtk-3.0/editprop.c