diff options
Diffstat (limited to 'app-editors/jedit/files')
| -rw-r--r-- | app-editors/jedit/files/digest-jedit-4.3_pre12 | 3 | ||||
| -rw-r--r-- | app-editors/jedit/files/digest-jedit-4.3_pre9 | 3 | ||||
| -rw-r--r-- | app-editors/jedit/files/jedit-4.2-jdk-1.6.patch | 22 |
3 files changed, 25 insertions, 3 deletions
diff --git a/app-editors/jedit/files/digest-jedit-4.3_pre12 b/app-editors/jedit/files/digest-jedit-4.3_pre12 new file mode 100644 index 000000000000..2ca6e3b1a1ee --- /dev/null +++ b/app-editors/jedit/files/digest-jedit-4.3_pre12 @@ -0,0 +1,3 @@ +MD5 cb5a91ba6b51ef1f8004ee7b1b39f51b jedit4.3pre12source.tar.bz2 1474075 +RMD160 1803630b928cb5f0651cf3a59ad9495052ce29b0 jedit4.3pre12source.tar.bz2 1474075 +SHA256 554f61a59142b95bea30b23341c6b640d006041eac848ab1b0438beba05a1b41 jedit4.3pre12source.tar.bz2 1474075 diff --git a/app-editors/jedit/files/digest-jedit-4.3_pre9 b/app-editors/jedit/files/digest-jedit-4.3_pre9 deleted file mode 100644 index bc5f3617f0c5..000000000000 --- a/app-editors/jedit/files/digest-jedit-4.3_pre9 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 7219767fe93d9c38d23ed760b22df4fa jedit4.3pre9source.tar.bz2 1415361 -RMD160 7a9c4a4942edbb936de21d145c17afaf0419d205 jedit4.3pre9source.tar.bz2 1415361 -SHA256 7919bb603b1ad0e7ac4cd3e6a2486d2d702eebf444e65d5e3e8f8f868604aa4f jedit4.3pre9source.tar.bz2 1415361 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/"; |