forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
antlr-3.1.3.patch
24 lines (24 loc) · 1.55 KB
/
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=");