(String language)
| 1340 | } |
| 1341 | |
| 1342 | private void setExtension(String language) { |
| 1343 | String title = getTitle(); |
| 1344 | int dot = title.lastIndexOf("."); |
| 1345 | if (dot>=0) |
| 1346 | title = title.substring(0, dot); |
| 1347 | for (int i=0; i<languages.length; i++) { |
| 1348 | if (language.equals(languages[i])) { |
| 1349 | title += extensions[i]; |
| 1350 | break; |
| 1351 | } |
| 1352 | } |
| 1353 | setWindowTitle(title); |
| 1354 | } |
| 1355 | |
| 1356 | /** Override windowActivated in PlugInFrame to |
| 1357 | prevent Mac menu bar from being installed. */ |
no test coverage detected