comparison src/gui_gtk_x11.c @ 5818:a43a8262e1ce v7.4.252

updated for version 7.4.252 Problem: Critical error in GTK, removing timer twice. Solution: Clear the timer after removing it. (James McCoy)
author Bram Moolenaar <bram@vim.org>
date Sun, 06 Apr 2014 21:08:45 +0200
parents cf52d2a8c05c
children c519c446c548
comparison
equal deleted inserted replaced
5817:ee674aaf65a4 5818:a43a8262e1ce
730 */ 730 */
731 void 731 void
732 gui_mch_start_blink(void) 732 gui_mch_start_blink(void)
733 { 733 {
734 if (blink_timer) 734 if (blink_timer)
735 {
735 gtk_timeout_remove(blink_timer); 736 gtk_timeout_remove(blink_timer);
737 blink_timer = 0;
738 }
736 /* Only switch blinking on if none of the times is zero */ 739 /* Only switch blinking on if none of the times is zero */
737 if (blink_waittime && blink_ontime && blink_offtime && gui.in_focus) 740 if (blink_waittime && blink_ontime && blink_offtime && gui.in_focus)
738 { 741 {
739 blink_timer = gtk_timeout_add((guint32)blink_waittime, 742 blink_timer = gtk_timeout_add((guint32)blink_waittime,
740 (GtkFunction) blink_cb, NULL); 743 (GtkFunction) blink_cb, NULL);