From 4ae8d5aced8c7b234c1c018aca8be50b15ac3204 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 28 Jul 2010 12:41:40 +0200
Subject: [PATCH] set iframe src to javasript:; instead of javascript:false
 (for not-entirely-clear reasons)

---
 js/codemirror.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/codemirror.js b/js/codemirror.js
index ac76d4f6..c08b0752 100644
--- a/js/codemirror.js
+++ b/js/codemirror.js
@@ -142,7 +142,7 @@ var CodeMirror = (function(){
         "document.write(window.frameElement.CodeMirror.html);document.close();})()";
     }
     else {
-      frame.src = "javascript:false";
+      frame.src = "javascript:;";
     }
 
     if (place.appendChild) place.appendChild(div);