private static void drawVerticalGripper(Graphics gc, DockLayoutNode secondary) {
		int x = secondary.getX() + (secondary.getWidth() - GRIP_LENGTH) / 2;
		int y = secondary.getY() - DIVIDER_SIZE + (DIVIDER_SIZE - GRIP_WIDTH) / 2;
		int top = GRIP_HEIGHT / 2;
		int bottom = GRIP_HEIGHT - top;
		for (int xx = x; xx < x + GRIP_LENGTH; xx += GRIP_HEIGHT + GRIP_GAP) {
			gc.setColor(DockColors.HIGHLIGHT);
			gc.fillRect(xx, y, top, GRIP_WIDTH);
			gc.setColor(DockColors.SHADOW);
			gc.fillRect(xx + top, y, bottom, GRIP_WIDTH);
		}
	}