diff --git a/static/js/Wiki.js b/static/js/Wiki.js
index 8a2e110..37c7677 100644
--- a/static/js/Wiki.js
+++ b/static/js/Wiki.js
@@ -995,9 +995,9 @@ Wiki.prototype.editor_key_pressed = function ( editor, event ) {
   var code = event.key().code;
 
   if ( event.modifier().ctrl ) {
-    // ctrl-backtick: alert with frame HTML contents (temporary for debugging)
+    // ctrl-backtick: message with frame HTML contents (for debugging)
     if ( code == 192 || code == 96 ) {
-      alert( editor.contents() );
+      this.display_message( editor.contents() );
       event.stop();
     // ctrl-b: bold
     } else if ( code == 66 ) {