Changeset 871 for java/installer2/src

Timestamp:

May 20, 2013, 11:16:34 AM (12 years ago)

Author:

alloc

Message:

AEI2.14:

• Fixes #53

Location:

java/installer2/src/net/oni2/aeinstaller

Files:

• AEInstaller.properties (modified) (1 diff)
• gui/MainWin.java (modified) (5 diffs)

java/installer2/src/net/oni2/aeinstaller/AEInstaller.properties

@@ -1 +1 @@
 appname=AE Installer 2
-appversion=.13
+appversion=.14

java/installer2/src/net/oni2/aeinstaller/gui/MainWin.java

@@ -2 +2 @@
 
 import java.awt.BorderLayout;
+import java.awt.Component;
 import java.awt.Desktop;
 import java.awt.GridLayout;
+import java.awt.KeyEventDispatcher;
+import java.awt.KeyboardFocusManager;
 import java.awt.Toolkit;
 import java.awt.datatransfer.Clipboard;
@@ -91 +94 @@
  */
 public class MainWin extends JFrame implements ApplicationListener,
-                ModInstallSelectionListener, ModSelectionListener {
+                ModInstallSelectionListener, ModSelectionListener, KeyEventDispatcher {
         private static final long serialVersionUID = -4027395051382659650L;
 
@@ -180 +183 @@
                 tblMods.addModSelectionListener(this);
                 tblMods.addDownloadSizeListener(this);
+
+                KeyboardFocusManager.getCurrentKeyboardFocusManager()
+                                .addKeyEventDispatcher(this);
 
                 setSize(SettingsManager.getInstance().get("win_main_width", 1050),
@@ -572 +578 @@
         }
 
-        @SuppressWarnings("unused")
         private void refreshLocalMods() {
                 PackageManager.getInstance().updateLocalData();
@@ -1013 +1018 @@
         }
 
+        private boolean componentBelongsToWindow(Component c) {
+                while (c != null) {
+                        if (c == this)
+                                return true;
+                        c = c.getParent();
+                }
+                return false;
+        }
+
+        @Override
+        public boolean dispatchKeyEvent(KeyEvent e) {
+                if (e.getID() == KeyEvent.KEY_PRESSED) {
+                        switch (e.getKeyCode()) {
+                                case KeyEvent.VK_F5:
+                                        if (componentBelongsToWindow(e.getComponent()))
+                                                refreshLocalMods();
+                                        return true;
+                        }
+                }
+                return false;
+        }
+
         @Override
         public void handleAbout(ApplicationEvent event) {