Changeset 839

Show
Ignore:
Timestamp:
09/06/10 10:33:27 (17 months ago)
Author:
stefan
Message:

fixed bug #91: cannot close info window after svn update without mouse

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/gui/MessagePopup.java

    r835 r839  
    99 * Display messages. 
    1010 */ 
    11 public class MessagePopup extends JPopupMenu implements MouseListener { 
     11public class MessagePopup extends JPopupMenu implements MouseListener, KeyListener { 
    1212  private long startTime = -1; 
    1313  private long alphaTime = 1000000000; 
     
    3838 
    3939    addMouseListener(this); 
     40    addKeyListener(this); 
    4041  } 
    4142 
     
    5051    if (!b) return; 
    5152    super.setVisible(b); 
     53    requestFocus(); 
    5254  } 
    5355 
     
    98100  public void mouseExited(MouseEvent e) { 
    99101  } 
     102 
     103  @Override 
     104  public void keyTyped(KeyEvent e) { 
     105  } 
     106 
     107  @Override 
     108  public void keyPressed(KeyEvent e) { 
     109    super.setVisible(false); 
     110  } 
     111 
     112  @Override 
     113  public void keyReleased(KeyEvent e) { 
     114  } 
    100115}