--- a/src/Tools/jEdit/patches/jedit-4.5.1/macos Sun Aug 12 23:13:43 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-diff -ru 4.5.1/jEdit/org/gjt/sp/jedit/OperatingSystem.java 4.5.1/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java
---- 4.5.1/jEdit/org/gjt/sp/jedit/OperatingSystem.java 2012-03-25 18:52:03.000000000 +0200
-+++ 4.5.1/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java 2012-04-13 19:28:37.000000000 +0200
-@@ -317,6 +317,10 @@
- {
- os = OS2;
- }
-+ else if(osName.contains("Mac OS X"))
-+ {
-+ os = MAC_OS_X;
-+ }
- else if(osName.contains("VMS"))
- {
- os = VMS;
-