fixed #264 (mapped <ctrl-enter> to green-flag instead of <enter>)

1 files changed, 5 insertions, 2 deletions

diff --git a/objects.js b/objects.js
index 9d7e94c..7f1e7a2 100644
--- a/objects.js
+++ b/objects.js
@@ -124,7 +124,7 @@ PrototypeHatBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.objects = '2013-November-15';
+modules.objects = '2013-December-04';
 
 var SpriteMorph;
 var StageMorph;
@@ -4052,6 +4052,9 @@ StageMorph.prototype.processKeyEvent = function (event, action) {
     switch (event.keyCode) {
     case 13:
         keyName = 'enter';
+        if (event.ctrlKey || event.metaKey) {
+            keyName = 'ctrl enter';
+        }
         break;
     case 27:
         keyName = 'esc';
@@ -4084,7 +4087,7 @@ StageMorph.prototype.fireKeyEvent = function (key) {
         myself = this;
 
     this.keysPressed[evt] = true;
-    if (evt === 'enter') {
+    if (evt === 'ctrl enter') {
         return this.fireGreenFlagEvent();
     }
     if (evt === 'esc') {