Removes the specified window from the Window menu.
(Window win)
| 400 | |
| 401 | /** Removes the specified window from the Window menu. */ |
| 402 | public static void removeWindow(Window win) { |
| 403 | if (win instanceof ImageWindow) |
| 404 | removeImageWindow((ImageWindow)win); |
| 405 | else { |
| 406 | int index = nonImageList.indexOf(win); |
| 407 | ImageJ ij = IJ.getInstance(); |
| 408 | if (index>=0) { |
| 409 | Menus.removeWindowMenuItem(index); |
| 410 | nonImageList.removeElement(win); |
| 411 | } |
| 412 | if (win!=null && win==frontTable) |
| 413 | frontTable = null; |
| 414 | } |
| 415 | setWindow(null); |
| 416 | } |
| 417 | |
| 418 | /** Removes the specified Frame from the Window menu. */ |
| 419 | public static void removeWindow(Frame win) { |
no test coverage detected