421 |
insideTimer.stop(); |
insideTimer.stop(); |
422 |
hideTip(); |
hideTip(); |
423 |
} |
} |
|
|
|
|
if (currentComponent == null) |
|
|
currentComponent = (Component) event.getSource(); |
|
|
|
|
|
currentComponent.invalidate(); |
|
|
currentComponent.validate(); |
|
|
currentComponent.repaint(); |
|
424 |
} |
} |
425 |
|
|
426 |
/** |
/** |
504 |
pane.add(containerPanel); |
pane.add(containerPanel); |
505 |
containerPanel.setBounds(p.x, p.y, dims.width, dims.height); |
containerPanel.setBounds(p.x, p.y, dims.width, dims.height); |
506 |
currentTip.setBounds(0, 0, dims.width, dims.height); |
currentTip.setBounds(0, 0, dims.width, dims.height); |
|
pane.revalidate(); |
|
|
pane.repaint(); |
|
507 |
} |
} |
508 |
else if (currentComponent.isShowing()) |
else if (currentComponent.isShowing()) |
509 |
{ |
{ |
537 |
if (parent == null) |
if (parent == null) |
538 |
return; |
return; |
539 |
parent.remove(containerPanel); |
parent.remove(containerPanel); |
|
parent.invalidate(); |
|
|
parent.validate(); |
|
|
parent.repaint(); |
|
540 |
|
|
541 |
parent = currentTip.getParent(); |
parent = currentTip.getParent(); |
542 |
if (parent == null) |
if (parent == null) |