diff gui/ui/gtk/tools.h @ 34466:a650895d50a5

Use correct data types and common variable names in GTK callback functions. Don't use (void) user_data.
author ib
date Fri, 13 Jan 2012 14:06:55 +0000
parents d9b805602aa1
children
line wrap: on
line diff