Changes the name of an item in the Window menu.
(String oldLabel, String newLabel)
| 1487 | |
| 1488 | /** Changes the name of an item in the Window menu. */ |
| 1489 | public static synchronized void updateWindowMenuItem(String oldLabel, String newLabel) { |
| 1490 | updateWindowMenuItem(null, oldLabel, newLabel); |
| 1491 | } |
| 1492 | |
| 1493 | /** Changes the name of an item in the Window menu. */ |
| 1494 | public static synchronized void updateWindowMenuItem(ImagePlus imp, String oldLabel, String newLabel) { |