(Graphics g, int left, int right,
boolean leftNotch, boolean rightNotch)
| 380 | |
| 381 | |
| 382 | private void drawTab(Graphics g, int left, int right, |
| 383 | boolean leftNotch, boolean rightNotch) { |
| 384 | // final int bottom = getHeight(); // - TAB_STRETCH; |
| 385 | // final int top = bottom - TAB_HEIGHT; |
| 386 | // g.fillRect(left, top, right - left, bottom - top); |
| 387 | |
| 388 | Graphics2D g2 = (Graphics2D) g; |
| 389 | g2.fill(Toolkit.createRoundRect(left, TAB_TOP, |
| 390 | right, TAB_BOTTOM, |
| 391 | leftNotch ? CURVE_RADIUS : 0, |
| 392 | rightNotch ? CURVE_RADIUS : 0, |
| 393 | 0, 0)); |
| 394 | |
| 395 | // path.moveTo(left, TAB_BOTTOM); |
| 396 | // if (left == MARGIN_WIDTH) { // first tab on the left |
| 397 | // path.lineTo(left, TAB_TOP - CURVE_RADIUS); |
| 398 | // } |
| 399 | |
| 400 | } |
| 401 | |
| 402 | |
| 403 | /** |
no test coverage detected