diff options
Diffstat (limited to 'app-editors/jedit/files/jedit-4.2-jdk-1.6.patch')
| -rw-r--r-- | app-editors/jedit/files/jedit-4.2-jdk-1.6.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/app-editors/jedit/files/jedit-4.2-jdk-1.6.patch b/app-editors/jedit/files/jedit-4.2-jdk-1.6.patch new file mode 100644 index 000000000000..c985289ff258 --- /dev/null +++ b/app-editors/jedit/files/jedit-4.2-jdk-1.6.patch @@ -0,0 +1,22 @@ +# correct ambigous references to SplashScreen under jdk-1.6 + +--- jEdit/org/gjt/sp/jedit/GUIUtilities.java.orig 2007-08-22 11:14:15.000000000 +0200 ++++ jEdit/org/gjt/sp/jedit/GUIUtilities.java 2007-08-22 11:15:09.000000000 +0200 +@@ -1516,7 +1516,7 @@ + //{{{ showSplashScreen() method + static void showSplashScreen() + { +- splash = new SplashScreen(); ++ splash = new org.gjt.sp.jedit.gui.SplashScreen(); + } //}}} + + //{{{ advanceSplashProgress() method +@@ -1529,7 +1529,7 @@ + //}}} + + //{{{ Private members +- private static SplashScreen splash; ++ private static org.gjt.sp.jedit.gui.SplashScreen splash; + private static Hashtable icons; + private static String iconPath = "jeditresource:/org/gjt/sp/jedit/icons/"; + private static String defaultIconPath = "jeditresource:/org/gjt/sp/jedit/icons/"; |