INTERNAL_BORDER_TOP_RIGHT_CORNER 2593 src/frame.c    	     part = INTERNAL_BORDER_TOP_RIGHT_CORNER;
INTERNAL_BORDER_TOP_RIGHT_CORNER 2603 src/frame.c    	    part = INTERNAL_BORDER_TOP_RIGHT_CORNER;
INTERNAL_BORDER_TOP_RIGHT_CORNER 35483 src/xdisp.c    	case INTERNAL_BORDER_TOP_RIGHT_CORNER: