author | nipkow |
Fri, 20 Apr 2012 10:46:55 +0200 | |
changeset 47619 | 0d3e95375bb7 |
parent 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;