var-type-dialog: Use G_TYPE_INT to store an int.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 17 Jul 2012 05:28:44 +0000 (22:28 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 17 Jul 2012 14:09:57 +0000 (07:09 -0700)
commitb49a1e914091def9823df400fe5d97a6d4222c2a
treeaa3791552044cba1e69b58b1fde31ebe1805cad4
parent22ff445f590d994452ab4d4d0f809a9c65d171ed
var-type-dialog: Use G_TYPE_INT to store an int.

It seems more straightforward to store an int by value than by
pointer.
src/ui/gui/var-type-dialog.c