Represent G_TYPE_POINTER as an integer to prevent segfaults
Ensure something's pushed for every argument to a GTK2 signal callback
GTK2: Update Scale docs based on source file
GTK2 docs formatting fix
release number bumped to 872 by export.pike
release number bumped to 873 by export.pike