dev-util/antlrworks/files/antlr-3.1.3.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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=");