diff --git a/src/Edit/Interface/edit_keyboard.cpp b/src/Edit/Interface/edit_keyboard.cpp
index 6c16a7a56d..c00a7fb31d 100644
--- a/src/Edit/Interface/edit_keyboard.cpp
+++ b/src/Edit/Interface/edit_keyboard.cpp
@@ -152,7 +152,7 @@ edit_interface_rep::try_shortcut (string comb) {
             verbatim (rhs), shorth == "" ? 1 : 3000);
     }
     if ((status & 1) == 1) cmd ();
-    else if (N (shorth) > 0) call ("kbd-insert", shorth);
+    else if (N (shorth) > 0 && comb != "S-F5") call ("kbd-insert", shorth);
     // cout << "Mark= " << sh_mark << "\n";
     return true;
   }