while (1) {
  while (Gtk->events_pending) {
	Gtk->main_iteration;
  }
  $time = strftime("%H:%M:%S",localtime());
  $time_label->set($time);
}