[robocode] 03/05: Update showJavaDocumentation.patch to use always default-jdk-doc.
Markus Koschany
apo-guest at moszumanska.debian.org
Thu Feb 18 14:50:20 GMT 2016
This is an automated email from the git hooks/post-receive script.
apo-guest pushed a commit to branch master
in repository robocode.
commit d58fe84e1f5592a9bdad9ee0d80e0f705df47379
Author: Markus Koschany <apo at debian.org>
Date: Thu Feb 18 15:13:43 2016 +0100
Update showJavaDocumentation.patch to use always default-jdk-doc.
This will ensure that the menu entry in Robocode will always point to the
default Java documentation.
---
debian/patches/showJavaDocumentation.patch | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/patches/showJavaDocumentation.patch b/debian/patches/showJavaDocumentation.patch
index f3551e9..2ba67c8 100644
--- a/debian/patches/showJavaDocumentation.patch
+++ b/debian/patches/showJavaDocumentation.patch
@@ -17,7 +17,7 @@ index e150b9f..3fca70b 100644
public void showJavaDocumentation() {
- showInBrowser("http://docs.oracle.com/javase/6/docs/api/");
-+ showInBrowser("file:///usr/share/doc/openjdk-7-doc/api/index.html");
++ showInBrowser("file:///usr/share/doc/default-jdk-doc/index.html");
}
public void showRobocodeHome() {
@@ -30,7 +30,7 @@ index cc68d4c..f06e03e 100644
if (helpJavaDocumentationMenuItem == null) {
helpJavaDocumentationMenuItem = new JMenuItem();
- helpJavaDocumentationMenuItem.setText("Java 6 documentation");
-+ helpJavaDocumentationMenuItem.setText("Java 7 documentation");
++ helpJavaDocumentationMenuItem.setText("Java documentation");
helpJavaDocumentationMenuItem.setMnemonic('J');
helpJavaDocumentationMenuItem.addActionListener(eventHandler);
}
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/robocode.git
More information about the pkg-java-commits
mailing list