Re: [cp-patches] [patch] refactor GTK event handling

[Tom Tromey]

>>>>> "Tom" == Thomas Fitzsimmons <address@hidden> writes:

Tom> We should try to keep libgtkpeer.so namespace-clean from now on.

One thing I've done in the past is have a script to check this that is
run from 'make check' or 'make maintainer-check'.  (Running it from
the build is also possible, like check_jni_methods.sh, but sometimes
writing these scripts to be portable is more trouble than it is
worth.)

Tom