# HG changeset patch
# User wenzelm
# Date 1334339055 -7200
# Node ID 5535d1a82e42d3256f7b576bc261671bc620dd7d
# Parent  88adecfe4246f5255b126324c6323b9ae0d3782b
recognize MacOS on modern Java implementations, notably OpenJDK 1.7;

diff -r 88adecfe4246 -r 5535d1a82e42 src/Tools/jEdit/patches/jedit-4.5.1/macos
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/patches/jedit-4.5.1/macos	Fri Apr 13 19:44:15 2012 +0200
@@ -0,0 +1,15 @@
+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;
+