|
30 | 30 | import java.awt.event.ActionListener; |
31 | 31 | import java.io.File; |
32 | 32 | import java.io.IOException; |
33 | | - |
| 33 | +import java.util.TimerTask; |
| 34 | +import java.util.Timer; |
34 | 35 |
|
35 | 36 | public class AndroidEditor extends JavaEditor { |
36 | 37 | private AndroidMode androidMode; |
37 | 38 |
|
38 | | - |
39 | 39 | protected AndroidEditor(Base base, String path, EditorState state, Mode mode) throws Exception { |
40 | 40 | super(base, path, state, mode); |
41 | 41 | androidMode = (AndroidMode) mode; |
@@ -120,13 +120,46 @@ public void actionPerformed(ActionEvent e) { |
120 | 120 | item.setEnabled(false); |
121 | 121 | menu.add(item); */ |
122 | 122 |
|
123 | | - item = new JMenuItem("Device selector"); |
124 | | - item.addActionListener(new ActionListener() { |
| 123 | + final JMenu deviceMenu = new JMenu("Device selector"); |
| 124 | + /*item.addActionListener(new ActionListener() { |
125 | 125 | public void actionPerformed(ActionEvent e) { |
126 | 126 | new DeviceSelector(); |
127 | 127 | } |
128 | | - }); |
129 | | - menu.add(item); |
| 128 | + });*/ |
| 129 | + |
| 130 | + JMenuItem noDevicesItem = new JMenuItem("No connected devices"); |
| 131 | + noDevicesItem.setEnabled(false); |
| 132 | + deviceMenu.add(noDevicesItem); |
| 133 | + menu.add(deviceMenu); |
| 134 | + |
| 135 | + // start updating device menus |
| 136 | + TimerTask task = new TimerTask() { |
| 137 | + @Override |
| 138 | + public void run() { |
| 139 | + Devices devices = Devices.getInstance(); |
| 140 | + java.util.List<Device> deviceList = devices.findMultiple(false); |
| 141 | + |
| 142 | + if(deviceList.size() == 0) { |
| 143 | + if(deviceMenu.getItem(0).isEnabled()) { |
| 144 | + deviceMenu.removeAll(); |
| 145 | + JMenuItem noDevicesItem = new JMenuItem("No connected devices"); |
| 146 | + noDevicesItem.setEnabled(false); |
| 147 | + deviceMenu.add(noDevicesItem); |
| 148 | + } |
| 149 | + } else { |
| 150 | + deviceMenu.removeAll(); |
| 151 | + JMenuItem deviceItem; |
| 152 | + |
| 153 | + for(int i = 0; i < deviceList.size(); i++) { |
| 154 | + deviceItem = new JMenuItem(deviceList.get(i).getName()); |
| 155 | + deviceItem.setEnabled(true); |
| 156 | + deviceMenu.add(deviceItem); |
| 157 | + } |
| 158 | + } |
| 159 | + } |
| 160 | + }; |
| 161 | + Timer timer = new Timer(); |
| 162 | + timer.schedule(task, 0, 5000); |
130 | 163 |
|
131 | 164 | menu.addSeparator(); |
132 | 165 |
|
|
0 commit comments