diff options
Diffstat (limited to 'dev-util/antlrworks/files/antlr-3.1.3.patch')
| -rw-r--r-- | dev-util/antlrworks/files/antlr-3.1.3.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/dev-util/antlrworks/files/antlr-3.1.3.patch b/dev-util/antlrworks/files/antlr-3.1.3.patch new file mode 100644 index 000000000000..3ab2d49c9f48 --- /dev/null +++ b/dev-util/antlrworks/files/antlr-3.1.3.patch @@ -0,0 +1,24 @@ +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="); |