()
| 337 | } |
| 338 | |
| 339 | void customize() { |
| 340 | OSPFrame f = getMainFrame(); |
| 341 | if(f==null || !f.isDisplayable()) return; |
| 342 | JMenu menu = f.getMenu("Display"); |
| 343 | JMenuItem item = new JMenuItem("Switch GUI"); |
| 344 | item.addActionListener(new ActionListener() { |
| 345 | |
| 346 | @Override |
| 347 | public void actionPerformed(ActionEvent e) { |
| 348 | switchGUI(); |
| 349 | } |
| 350 | }); |
| 351 | menu.add(item); |
| 352 | addChildFrame(psiFrame); |
| 353 | addChildFrame(dataFrame); |
| 354 | } |
| 355 | |
| 356 | |
| 357 | /** |
no test coverage detected