author | wenzelm |
Fri, 13 Apr 2012 19:44:15 +0200 | |
changeset 47457 | 5535d1a82e42 |
permissions | -rw-r--r-- |
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;