/** Disposes of this window. */
@Override
public void dispose() {
// System.out.println("[DEBUG]: Disposing...");
Container cp = getContentPane();
for (int i = 0; i < cp.getComponentCount(); i++) {
// Okay if listener is already removed
cp.getComponent(i).removeMouseListener(tipListener);
}
ft.removeListeners();
super.dispose();
}
public void actionPerformed(ActionEvent e) {
if (!getFocusableWindowState()) {
setFocusableWindowState(true);
setBottomPanel();
textArea.removeMouseListener(tipListener);
pack();
addWindowFocusListener(
new WindowAdapter() {
@Override
public void windowLostFocus(WindowEvent e) {
ft.possiblyDisposeOfTipWindow();
}
});
ft.removeListeners();
if (e == null) { // Didn't get here via our mouseover timer
requestFocus();
}
}
}
