Lines Matching refs:draw_box
109 static void draw_box(int x, int y, int w, int h, int restore);
805 static void draw_box(int x, int y, int w, int h, int restore) {
4810 if (0) fprintf(stderr, "*** NO GPI DRAW_BOX\n");
4860 draw_box(x, y, w, h, 0);
4921 draw_box(0, 0, 0, 0, 1);
5067 /* In principle no longer needed... see draw_box() */
