vim-55/src/gui_gtk_x11.c

342     {"--display",		ARG_FOR_GTK|ARG_HAS_VALUE|ARG_COMPAT_LONG},
463 		/* Replace the standard X arguments "-name" and "-display"
617 	       event->area.width, event->area.height);
1500 	    || y >= gui.drawarea->allocation.height)
1512 	dy = y < 0 ? -y : y - gui.drawarea->allocation.height;
2411     /* Create a pseudo blank pointer, which is in fact one pixel by one pixel
2490     if (sbar && GTK_WIDGET_REALIZED(sbar) && sbar->allocation.height)
2491 	gui.scrollbar_height = sbar->allocation.height;
2579 	    return widget->allocation.height;
2611     int height = 0;
2614     height += get_item_dimensions(gui.menubar, GTK_ORIENTATION_HORIZONTAL);
2617     height += get_item_dimensions(gui.toolbar, GTK_ORIENTATION_HORIZONTAL);
2621 	height += get_item_dimensions(gui.tabline, GTK_ORIENTATION_HORIZONTAL);
2624     return height;
2646     int height;
2664     height = gui_get_base_height();
2666     height += tabline_height() * gui.char_height;
2669     height += get_menu_tool_height();
2685 	min_height = height + MIN_LINES   * gui.char_height;
2690 	    || height != old_height
2702 	geometry.base_height = height;
2713 	old_height      = height;
3532 	color.pixel = gui.back_pixel;
3545     int usable_height = event->height;
3868 	int height;
3870 	gtk_window_get_size(GTK_WINDOW(gui.mainwin), &width, &height);
3873 	height -= get_menu_tool_height();
3875 	gui_resize_shell(width, height);
3908 gui_mch_set_shellsize(int width, int height,
3924     height += get_menu_tool_height();
3927 	gtk_window_resize(GTK_WINDOW(gui.mainwin), width, height);
3929 	update_window_manager_hints(width, height);
3970     /* Subtract 'guiheadroom' from the height to allow some room for the
3978      * height, so that the window size can be made to fit on the screen.
4580 	    return (guicolor_T)color.pixel;
4607     gui.fgcolor->pixel = (unsigned long)color;
4616     gui.bgcolor->pixel = (unsigned long)color;
4625     gui.spcolor->pixel = (unsigned long)color;
4763 	glyph->geometry.y_offset  = logical_rect.height
4908     area.height = gui.char_height;
5009 	     * done, because drawing the cursor would change the display. */
5132  * Return the text window-id and display.  Only required for X-based GUI's
5167     GdkDisplay *display;
5170 	display = gtk_widget_get_display(gui.mainwin);
5172 	display = gdk_display_get_default();
5174     if (display != NULL)
5175 	gdk_display_beep(display);
5190     values.foreground.pixel = gui.norm_pixel ^ gui.back_pixel;
5191     values.background.pixel = gui.norm_pixel ^ gui.back_pixel;
5237     values.foreground.pixel = gui.norm_pixel ^ gui.back_pixel;
5238     values.background.pixel = gui.norm_pixel ^ gui.back_pixel;
5485     color.pixel = gui.back_pixel;
5489     /* Clear one extra pixel at the far right, for when bold characters have
5532 		   event->expose.area.width, event->expose.area.height);
5555     /* copy one extra pixel, for when bold has spilled over */
5584     /* copy one extra pixel, for when bold has spilled over */
5751  * Return the RGB value of a pixel as long.
5754 gui_mch_get_rgb(guicolor_T pixel)
5758 			     (unsigned long)pixel, &color);
5904 	int height;
5910 	height = gdk_pixbuf_get_height(sign);
5912 	 * Decide whether we need to scale.  Allow one pixel of border
5917 		      || height > SIGN_HEIGHT + 2
5919 			  && height < 3 * SIGN_HEIGHT / 4));
5925 	    aspect = (double)height / (double)width;
5928 	    height = (double)width * aspect;
5932 	    sign = gdk_pixbuf_scale_simple(sign, width, height,
5942 	yoffset = (height - SIGN_HEIGHT) / 2;
5961 					    MIN(height, SIGN_HEIGHT),