comparison src/gui_gtk_x11.c @ 844:d3bbb5dd3913 v7.0f02

updated for version 7.0f02
author vimboss
date Thu, 27 Apr 2006 00:02:13 +0000
parents a209672376fd
children db44f7b81373
comparison
equal deleted inserted replaced
843:9f279ebda751 844:d3bbb5dd3913
3181 GdkEventButton *bevent = (GdkEventButton *)event; 3181 GdkEventButton *bevent = (GdkEventButton *)event;
3182 int x = bevent->x; 3182 int x = bevent->x;
3183 GtkWidget *page; 3183 GtkWidget *page;
3184 GtkWidget *label; 3184 GtkWidget *label;
3185 3185
3186 /* When ignoring events return TRUE so that the selected page doesn't
3187 * change. */
3188 if (hold_gui_events
3189 # ifdef FEAT_CMDWIN
3190 || cmdwin_type != 0
3191 # endif
3192 )
3193 return TRUE;
3194
3186 /* Find out where the click was. */ 3195 /* Find out where the click was. */
3187 for (clicked_page = 1; ; ++clicked_page) 3196 for (clicked_page = 1; ; ++clicked_page)
3188 { 3197 {
3189 page = gtk_notebook_get_nth_page(GTK_NOTEBOOK(gui.tabline), 3198 page = gtk_notebook_get_nth_page(GTK_NOTEBOOK(gui.tabline),
3190 clicked_page - 1); 3199 clicked_page - 1);
3215 /* Click after all tabs moves to next tab page. */ 3224 /* Click after all tabs moves to next tab page. */
3216 if (send_tabline_event(0) && gtk_main_level() > 0) 3225 if (send_tabline_event(0) && gtk_main_level() > 0)
3217 gtk_main_quit(); 3226 gtk_main_quit();
3218 } 3227 }
3219 } 3228 }
3229
3220 /* We didn't handle the event. */ 3230 /* We didn't handle the event. */
3221 return FALSE; 3231 return FALSE;
3222 } 3232 }
3223 3233
3224 /* 3234 /*