INTERNAL_BORDER_TOP_RIGHT_CORNER 2516 src/frame.c    	     part = INTERNAL_BORDER_TOP_RIGHT_CORNER;
INTERNAL_BORDER_TOP_RIGHT_CORNER 2526 src/frame.c    	    part = INTERNAL_BORDER_TOP_RIGHT_CORNER;
INTERNAL_BORDER_TOP_RIGHT_CORNER 35176 src/xdisp.c    	case INTERNAL_BORDER_TOP_RIGHT_CORNER: