Lines Matching refs:border_width
746 int border_width = GTK_CONTAINER(widget)->border_width;747 int x = widget->allocation.x + border_width;748 int y = widget->allocation.y + border_width;749 int width = widget->allocation.width - border_width * 2;750 int height = widget->allocation.height - border_width * 2;