- glVertex2i( FREEGLUT_MENU_BORDER,
- (menuID + 0)*FREEGLUT_MENU_HEIGHT +
- FREEGLUT_MENU_BORDER );
- glVertex2i( menu->Width-FREEGLUT_MENU_BORDER,
- (menuID + 0)*FREEGLUT_MENU_HEIGHT +
- FREEGLUT_MENU_BORDER );
- glVertex2i( menu->Width-FREEGLUT_MENU_BORDER,
- (menuID + 1)*FREEGLUT_MENU_HEIGHT +
- FREEGLUT_MENU_BORDER );
- glVertex2i( FREEGLUT_MENU_BORDER,
- (menuID + 1)*FREEGLUT_MENU_HEIGHT +
- FREEGLUT_MENU_BORDER );
+ glVertex2i( border,
+ (menuID + 0)*FREEGLUT_MENU_HEIGHT + border );
+ glVertex2i( menu->Width - border,
+ (menuID + 0)*FREEGLUT_MENU_HEIGHT + border );
+ glVertex2i( menu->Width - border,
+ (menuID + 1)*FREEGLUT_MENU_HEIGHT + border );
+ glVertex2i( border,
+ (menuID + 1)*FREEGLUT_MENU_HEIGHT + border );