001    
002    package gui;
003    
004    //import java.awt.event.KeyListener;
005    import java.awt.event.KeyEvent;
006    import java.awt.event.KeyAdapter;
007    
008    import javax.swing.JFrame;
009    
010    /**
011     * Main class to send GUI key events to the TSP model.
012     * @author Heinz Kredel.
013     */
014    public class TSPguiKeyControl extends KeyAdapter /*implements KeyListener*/ {
015    
016        TSPguiModel model;
017    
018    /**
019     * @param model the TSPguiModel.
020     */
021        public TSPguiKeyControl(TSPguiModel model) {
022            this.model = model;
023        }
024    
025        public void keyPressed(KeyEvent event) {
026            JFrame source = (JFrame)event.getSource();
027            //System.out.println("source = " + source);
028            if ( event.getKeyCode() == KeyEvent.VK_ESCAPE
029              || event.getKeyCode() == KeyEvent.VK_F4
030              || event.getKeyCode() == KeyEvent.VK_END
031              || event.getKeyCode() == KeyEvent.VK_Q ) {
032                if ( ! model.isDone() ) {
033                    if ( ! TSPguiMain.doExitDialog() ) {
034                        return;
035                     }
036                }
037                model.setDone(); 
038            }
039        }
040    
041        /*
042        public void keyReleased(KeyEvent event) {
043        }
044    
045        public void keyTyped(KeyEvent event) {
046        }
047        */
048    }