319         for (int i = 0; i < monitors.length; i++)
 320             if (monitors[i] == m)
 321                 return i;
 322 
 323         return -1;
 324     }
 325 
 326     // ---------- ComponentListener ----------
 327     public void componentHidden(ComponentEvent e) { }
 328     public void componentMoved(ComponentEvent e) { }
 329     public void componentResized(ComponentEvent e) {
 330         setDividerLocation(0.70d);
 331     }
 332     public void componentShown(ComponentEvent e) { }
 333 
 334     private JTextField leftField;
 335     private JPanel rightPanel;
 336     private JButton selectButt;
 337     private JButton magButt;
 338 
 339     private JComboBox selector;
 340     private JPopupMenu popMenu;
 341     private ActionListener actionListener = new SelectionListener();
 342     private ActionListener zoomListener;
 343     private Monitor[] monitors;
 344     private MonitorState state;
 345     private int currMonitor;
 346     private CardLayout monitorCards;
 347     private int runningMonitor = -1;
 348     private int idleMonitor = -1;
 349     private Timer clearTimer;
 350     private static final int CLEAR_TIMEOUT = 5000;  // time before msg is cleared
 351 
 352     private UIFactory uif;
 353 
 354     private static final String MINI_PREF = "exec.monitorstrip.mini";
 355 
 356     class SelectionListener implements ActionListener {
 357         public void actionPerformed(ActionEvent e) {
 358             Object source = e.getSource();
 359 

 319         for (int i = 0; i < monitors.length; i++)
 320             if (monitors[i] == m)
 321                 return i;
 322 
 323         return -1;
 324     }
 325 
 326     // ---------- ComponentListener ----------
 327     public void componentHidden(ComponentEvent e) { }
 328     public void componentMoved(ComponentEvent e) { }
 329     public void componentResized(ComponentEvent e) {
 330         setDividerLocation(0.70d);
 331     }
 332     public void componentShown(ComponentEvent e) { }
 333 
 334     private JTextField leftField;
 335     private JPanel rightPanel;
 336     private JButton selectButt;
 337     private JButton magButt;
 338 
 339     private JComboBox<Monitor> selector;
 340     private JPopupMenu popMenu;
 341     private ActionListener actionListener = new SelectionListener();
 342     private ActionListener zoomListener;
 343     private Monitor[] monitors;
 344     private MonitorState state;
 345     private int currMonitor;
 346     private CardLayout monitorCards;
 347     private int runningMonitor = -1;
 348     private int idleMonitor = -1;
 349     private Timer clearTimer;
 350     private static final int CLEAR_TIMEOUT = 5000;  // time before msg is cleared
 351 
 352     private UIFactory uif;
 353 
 354     private static final String MINI_PREF = "exec.monitorstrip.mini";
 355 
 356     class SelectionListener implements ActionListener {
 357         public void actionPerformed(ActionEvent e) {
 358             Object source = e.getSource();
 359