gtk_eiffel.h
gtk_eiffel_entry GTK_COMMAND_TYPE marshal
--uncomment the next line if you need to use timers or `idle' calls
--gtk_timer_entry GTK_TIMEOUT_IDLE_COMMAND command_execution
