Fix key repeat workaround for Safari.

Typing "(" now works in Safari

src/ace/lib/core.js

@@ -17,6 +17,7 @@ require.def("ace/lib/core", function() {
     core.isMac = (os == "mac");
     core.isLinux = (os == "linux");
     core.isIE = ! + "\v1";
+    core.isGecko = window.controllers && window.navigator.product === "Gecko";
 
     core.provide = function(namespace) {
         var parts = namespace.split(".");

src/ace/lib/event.js

@@ -181,7 +181,8 @@ require.def("ace/lib/event", ["ace/lib/core"], function(core) {
             return callback(e);
         });
 
-      if (core.isMac) {
+        // repeated keys are fired as keypress and not keydown events
+        if (core.isMac && core.isGecko) {
             event.addListener(el, "keypress", function(e) {
                 var keyId = e.keyIdentifier || e.keyCode;
                 if (lastDown !== keyId) {