()
| 1227 | } |
| 1228 | |
| 1229 | private void extendMenus() { |
| 1230 | pm.addSeparator(); |
| 1231 | addPopupItem("Rename..."); |
| 1232 | addPopupItem("Duplicate..."); |
| 1233 | addPopupItem("Apply Macro..."); |
| 1234 | addPopupItem("Sort..."); |
| 1235 | addPopupItem("Plot..."); |
| 1236 | if (fileMenu!=null) { |
| 1237 | fileMenu.add("Rename..."); |
| 1238 | fileMenu.add("Duplicate..."); |
| 1239 | } |
| 1240 | if (editMenu!=null) { |
| 1241 | editMenu.addSeparator(); |
| 1242 | editMenu.add("Apply Macro..."); |
| 1243 | } |
| 1244 | menusExtended = true; |
| 1245 | } |
| 1246 | |
| 1247 | public void scrollToTop() { |
| 1248 | sbVert.setValue(0); |
no test coverage detected