/************************************************************************** Timeout label requires refreshing **************************************************************************/ void update_timeout_label(void) { gtk_label_set_text(GTK_LABEL(timeout_label), get_timeout_label_text()); if (client_current_turn_timeout() > 0) { gtk_widget_set_tooltip_text(timeout_label, _("Time to forced turn change")); } else { gtk_widget_set_tooltip_text(timeout_label, _("Turn timeout disabled")); } }
/************************************************************************** ... **************************************************************************/ void update_timeout_label(void) { gtk_label_set_text(GTK_LABEL(timeout_label), get_timeout_label_text()); }
/************************************************************************** ... **************************************************************************/ void update_timeout_label(void) { xaw_set_label(timeout_label, get_timeout_label_text()); }