| diff -ur work.old/src/aw/org/antlr/works/dialog/DialogAbout.java work/src/aw/org/antlr/works/dialog/DialogAbout.java |
| --- work.old/src/aw/org/antlr/works/dialog/DialogAbout.java 2009-03-30 11:56:30.000000000 +0300 |
| +++ work/src/aw/org/antlr/works/dialog/DialogAbout.java 2009-03-30 11:57:34.000000000 +0300 |
| @@ -65,7 +65,7 @@ |
| if(IDE.isPlugin()) { |
| tableModel.addInfo("ANTLRWorks Plugin", IDE.getPluginVersionShort()); |
| } |
| - tableModel.addInfo("ANTLR", Tool.VERSION); |
| + tableModel.addInfo("ANTLR", new Tool().VERSION); |
| tableModel.addInfo("StringTemplate", StringTemplate.VERSION); |
| tableModel.addInfo("Java", System.getProperty("java.version")+" ("+System.getProperty("java.vendor")+")"); |
| tableModel.fireTableDataChanged(); |
| diff -ur work.old/src/aw/org/antlr/works/utils/HelpManager.java work/src/aw/org/antlr/works/utils/HelpManager.java |
| --- work.old/src/aw/org/antlr/works/utils/HelpManager.java 2009-03-30 11:56:30.000000000 +0300 |
| +++ work/src/aw/org/antlr/works/utils/HelpManager.java 2009-03-30 11:57:21.000000000 +0300 |
| @@ -60,7 +60,7 @@ |
| public static void sendFeedback(Container parent) { |
| StringBuilder url = new StringBuilder(Localizable.getLocalizedString(Localizable.FEEDBACK_URL)); |
| url.append("?ANTLRVersion="); |
| - url.append(XJUtils.encodeToURL(Tool.VERSION)); |
| + url.append(XJUtils.encodeToURL(new Tool().VERSION)); |
| url.append("&StringTemplateVersion="); |
| url.append(XJUtils.encodeToURL(StringTemplate.VERSION)); |
| url.append("&ANTLRWorksVersion="); |