This getter/setter will manage the tool pointer in GdkEventPrivate. The setter should be most notably used by backends.