--- a/src/Tools/jEdit/patches/jedit/macos Sat Dec 01 17:23:50 2012 +0100
+++ b/src/Tools/jEdit/patches/jedit/macos Sat Dec 01 19:51:43 2012 +0100
@@ -1,9 +1,9 @@
-diff -ru jEdit/org/gjt/sp/jedit/OperatingSystem.java jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java
---- jEdit/org/gjt/sp/jedit/OperatingSystem.java 2012-06-15 22:20:24.000000000 +0200
-+++ jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java 2012-08-13 19:13:06.000000000 +0200
-@@ -317,6 +317,10 @@
+diff -ru 5.0.0/jEdit/org/gjt/sp/jedit/OperatingSystem.java 5.0.0/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java
+--- 5.0.0/jEdit/org/gjt/sp/jedit/OperatingSystem.java 2012-11-17 16:42:29.000000000 +0100
++++ 5.0.0/jEdit-patched/org/gjt/sp/jedit/OperatingSystem.java 2012-12-01 17:32:47.000000000 +0100
+@@ -318,6 +318,10 @@
{
- os = OS2;
+ os = WINDOWS_NT;
}
+ else if(osName.contains("Mac OS X"))
+ {
@@ -12,9 +12,9 @@
else if(osName.contains("VMS"))
{
os = VMS;
-diff -ru jEdit/org/gjt/sp/jedit/Debug.java jEdit-patched/org/gjt/sp/jedit/Debug.java
---- jEdit/org/gjt/sp/jedit/Debug.java 2012-06-15 22:20:24.000000000 +0200
-+++ jEdit-patched/org/gjt/sp/jedit/Debug.java 2012-08-13 19:44:43.000000000 +0200
+diff -ru 5.0.0/jEdit/org/gjt/sp/jedit/Debug.java 5.0.0/jEdit-patched/org/gjt/sp/jedit/Debug.java
+--- 5.0.0/jEdit/org/gjt/sp/jedit/Debug.java 2012-11-17 16:42:29.000000000 +0100
++++ 5.0.0/jEdit-patched/org/gjt/sp/jedit/Debug.java 2012-12-01 17:31:24.000000000 +0100
@@ -109,7 +109,8 @@
* used to handle a modifier key press in conjunction with an alphabet
* key. <b>On by default on MacOS.</b>