comparison src/gui_gtk_x11.c @ 1757:f10fe14748e2 v7.2.055

updated for version 7.2-055
author vimboss
date Fri, 28 Nov 2008 20:29:07 +0000
parents e1d77e652cb7
children 3dd986bfef63
comparison
equal deleted inserted replaced
1756:5fafc42c22d2 1757:f10fe14748e2
4068 pixel_height += get_menu_tool_height(); 4068 pixel_height += get_menu_tool_height();
4069 #endif 4069 #endif
4070 4070
4071 if (mask & (XValue | YValue)) 4071 if (mask & (XValue | YValue))
4072 { 4072 {
4073 int w, h; 4073 int ww, hh;
4074 gui_mch_get_screen_dimensions(&w, &h); 4074 gui_mch_get_screen_dimensions(&ww, &hh);
4075 h += p_ghr + get_menu_tool_height(); 4075 hh += p_ghr + get_menu_tool_height();
4076 w += get_menu_tool_width(); 4076 ww += get_menu_tool_width();
4077 if (mask & XNegative) 4077 if (mask & XNegative)
4078 x += w - pixel_width; 4078 x += ww - pixel_width;
4079 if (mask & YNegative) 4079 if (mask & YNegative)
4080 y += h - pixel_height; 4080 y += hh - pixel_height;
4081 #ifdef HAVE_GTK2 4081 #ifdef HAVE_GTK2
4082 gtk_window_move(GTK_WINDOW(gui.mainwin), x, y); 4082 gtk_window_move(GTK_WINDOW(gui.mainwin), x, y);
4083 #else 4083 #else
4084 gtk_widget_set_uposition(gui.mainwin, x, y); 4084 gtk_widget_set_uposition(gui.mainwin, x, y);
4085 #endif 4085 #endif