function event_watcher_down($event_watcher_enter_id, $event_watcher_leave_id)
{
if ($event_watcher_enter_id) {
$signal_id = Gtk::signal_lookup('enter_notify_event', GtkWidget::get_type());
gtk::signal_remove_emission_hook($signal_id, $event_watcher_enter_id);
$event_watcher_enter_id = 0;
$signal_id = Gtk::signal_lookup('leave_notify_event', GtkWidget::get_type());
gtk::signal_remove_emission_hook($signal_id, $event_watcher_leave_id);
$event_watcher_leave_id = 0;
}
}