Florian Müllner 52f1cc6d19 Remove user_data arguments for callbacks
Gjs now removes user_data arguments for callbacks - the existing
code still works because all user_data arguments are unused and
at the end of the argument list, but it's a lot prettier to remove
them.
2010-03-19 20:13:18 +01:00
..
2010-03-17 21:34:13 +01:00
2010-03-18 03:27:42 +03:00
2009-12-18 11:19:59 -05:00
2010-03-18 23:47:56 +01:00
2010-03-16 10:51:05 -04:00
2010-02-02 10:31:38 -05:00
2010-02-25 14:42:58 -05:00
2010-03-18 23:47:56 +01:00