void ctk_vcs_stop_timer(GtkWidget *widget) { CtkVcs *ctk_vcs = CTK_VCS(widget); /* Stop the VCS timer */ ctk_config_stop_timer(ctk_vcs->ctk_config, (GSourceFunc) update_vcs_info, (gpointer) ctk_vcs); }
void ctk_ecc_stop_timer(GtkWidget *widget) { CtkEcc *ctk_ecc = CTK_ECC(widget); /* Stop the ECC timer */ ctk_config_stop_timer(ctk_ecc->ctk_config, (GSourceFunc) update_ecc_info, (gpointer) ctk_ecc); }