Changeset 871 for java


Ignore:
Timestamp:
May 20, 2013, 11:16:34 AM (12 years ago)
Author:
alloc
Message:

AEI2.14:

Location:
java/installer2/src/net/oni2/aeinstaller
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • java/installer2/src/net/oni2/aeinstaller/AEInstaller.properties

    r870 r871  
    11appname=AE Installer 2
    2 appversion=.13
     2appversion=.14
  • java/installer2/src/net/oni2/aeinstaller/gui/MainWin.java

    r863 r871  
    22
    33import java.awt.BorderLayout;
     4import java.awt.Component;
    45import java.awt.Desktop;
    56import java.awt.GridLayout;
     7import java.awt.KeyEventDispatcher;
     8import java.awt.KeyboardFocusManager;
    69import java.awt.Toolkit;
    710import java.awt.datatransfer.Clipboard;
     
    9194 */
    9295public class MainWin extends JFrame implements ApplicationListener,
    93                 ModInstallSelectionListener, ModSelectionListener {
     96                ModInstallSelectionListener, ModSelectionListener, KeyEventDispatcher {
    9497        private static final long serialVersionUID = -4027395051382659650L;
    9598
     
    180183                tblMods.addModSelectionListener(this);
    181184                tblMods.addDownloadSizeListener(this);
     185
     186                KeyboardFocusManager.getCurrentKeyboardFocusManager()
     187                                .addKeyEventDispatcher(this);
    182188
    183189                setSize(SettingsManager.getInstance().get("win_main_width", 1050),
     
    572578        }
    573579
    574         @SuppressWarnings("unused")
    575580        private void refreshLocalMods() {
    576581                PackageManager.getInstance().updateLocalData();
     
    10131018        }
    10141019
     1020        private boolean componentBelongsToWindow(Component c) {
     1021                while (c != null) {
     1022                        if (c == this)
     1023                                return true;
     1024                        c = c.getParent();
     1025                }
     1026                return false;
     1027        }
     1028
     1029        @Override
     1030        public boolean dispatchKeyEvent(KeyEvent e) {
     1031                if (e.getID() == KeyEvent.KEY_PRESSED) {
     1032                        switch (e.getKeyCode()) {
     1033                                case KeyEvent.VK_F5:
     1034                                        if (componentBelongsToWindow(e.getComponent()))
     1035                                                refreshLocalMods();
     1036                                        return true;
     1037                        }
     1038                }
     1039                return false;
     1040        }
     1041
    10151042        @Override
    10161043        public void handleAbout(ApplicationEvent event) {
Note: See TracChangeset for help on using the changeset viewer.