524 |
tooltipWindow.repaint(); |
tooltipWindow.repaint(); |
525 |
} |
} |
526 |
currentTip.setVisible(true); |
currentTip.setVisible(true); |
527 |
currentTip.revalidate(); |
if (!currentTip.isValid()) |
528 |
|
currentTip.revalidate(); |
529 |
currentTip.repaint(); |
currentTip.repaint(); |
530 |
} |
} |
531 |
|
|
571 |
if (parent == null) |
if (parent == null) |
572 |
return; |
return; |
573 |
parent.remove(currentTip); |
parent.remove(currentTip); |
|
|
|
574 |
containerPanel = null; |
containerPanel = null; |
575 |
} |
} |
576 |
if (tooltipWindow != null) |
if (tooltipWindow != null) |
579 |
tooltipWindow.dispose(); |
tooltipWindow.dispose(); |
580 |
tooltipWindow = null; |
tooltipWindow = null; |
581 |
} |
} |
582 |
|
currentTip = null; |
583 |
} |
} |
584 |
|
|
585 |
/** |
/** |