X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fio%2FSwingTerminal.java;h=3fa07cedae2d140fa008352fa32a253e7419405e;hb=847a4bc53c549c277d479ee904ab45be7f5e4dec;hp=3f3d8e3976246becca2043c69c4a888d1a06b3cf;hpb=a4406f4ed7f163b7ab0adce2e710b74d1175b1f3;p=fanfix.git

diff --git a/src/jexer/io/SwingTerminal.java b/src/jexer/io/SwingTerminal.java
index 3f3d8e3..3fa07ce 100644
--- a/src/jexer/io/SwingTerminal.java
+++ b/src/jexer/io/SwingTerminal.java
@@ -151,14 +151,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
         screen.frame.addMouseWheelListener(this);
     }
 
-    /**
-     * Restore terminal to normal state.
-     */
-    public void shutdown() {
-        // System.err.println("=== shutdown() ==="); System.err.flush();
-        screen.frame.dispose();
-    }
-
     /**
      * Return any events in the IO queue.
      *
@@ -180,7 +172,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param key keystroke received
      */
-    @Override
     public void keyReleased(final KeyEvent key) {
         // Ignore release events
     }
@@ -190,7 +181,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param key keystroke received
      */
-    @Override
     public void keyTyped(final KeyEvent key) {
         // Ignore typed events
     }
@@ -200,7 +190,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param key keystroke received
      */
-    @Override
     public void keyPressed(final KeyEvent key) {
         boolean alt = false;
         boolean shift = false;
@@ -405,7 +394,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowActivated(final WindowEvent event) {
         // Force a total repaint
         synchronized (screen) {
@@ -418,7 +406,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowClosed(final WindowEvent event) {
         // Ignore
     }
@@ -428,7 +415,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowClosing(final WindowEvent event) {
         // Drop a cmAbort and walk away
         synchronized (eventQueue) {
@@ -444,7 +430,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowDeactivated(final WindowEvent event) {
         // Ignore
     }
@@ -454,7 +439,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowDeiconified(final WindowEvent event) {
         // Ignore
     }
@@ -464,7 +448,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowIconified(final WindowEvent event) {
         // Ignore
     }
@@ -474,7 +457,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event window event received
      */
-    @Override
     public void windowOpened(final WindowEvent event) {
         // Ignore
     }
@@ -484,7 +466,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event component event received
      */
-    @Override
     public void componentHidden(final ComponentEvent event) {
         // Ignore
     }
@@ -494,7 +475,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event component event received
      */
-    @Override
     public void componentShown(final ComponentEvent event) {
         // Ignore
     }
@@ -504,7 +484,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event component event received
      */
-    @Override
     public void componentMoved(final ComponentEvent event) {
         // Ignore
     }
@@ -514,7 +493,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param event component event received
      */
-    @Override
     public void componentResized(final ComponentEvent event) {
         // Drop a new TResizeEvent into the queue
         sessionInfo.queryWindowSize();
@@ -533,7 +511,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseDragged(final MouseEvent mouse) {
         int modifiers = mouse.getModifiersEx();
         boolean eventMouse1 = false;
@@ -570,7 +547,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseMoved(final MouseEvent mouse) {
         int x = screen.textColumn(mouse.getX());
         int y = screen.textRow(mouse.getY());
@@ -597,7 +573,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseClicked(final MouseEvent mouse) {
         // Ignore
     }
@@ -607,7 +582,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseEntered(final MouseEvent mouse) {
         // Ignore
     }
@@ -617,7 +591,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseExited(final MouseEvent mouse) {
         // Ignore
     }
@@ -627,7 +600,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mousePressed(final MouseEvent mouse) {
         int modifiers = mouse.getModifiersEx();
         boolean eventMouse1 = false;
@@ -664,7 +636,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseReleased(final MouseEvent mouse) {
         int modifiers = mouse.getModifiersEx();
         boolean eventMouse1 = false;
@@ -710,7 +681,6 @@ public final class SwingTerminal implements ComponentListener, KeyListener,
      *
      * @param mouse mouse event received
      */
-    @Override
     public void mouseWheelMoved(final MouseWheelEvent mouse) {
         int modifiers = mouse.getModifiersEx();
         boolean eventMouse1 = false;