public void possiblyDisposeOfTipWindow(){
  if (tipWindow != null) {
    tipWindow.dispose();
    tipWindow=null;
    textAreaListener.uninstall();
    tipVisibleBounds.setBounds(-1,-1,0,0);
    lastText=null;
    textArea.requestFocus();
  }
}

public void possiblyDisposeOfTipWindow ( ) { if ( tipWindow != null ) { tipWindow . dispose ( ) ; tipWindow = null ; textAreaListener . uninstall ( ) ; tipVisibleBounds . setBounds ( - 1 , - 1 , 0 , 0 ) ; lastText = null ; textArea . requestFocus ( ) ; } }
disposes of the focusable tip currently displayed , if any .
