diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 75c2a198f..39a9eed87 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -2773,6 +2773,11 @@ assigned in the default configuration::
 
     map kitty_mod+space no_op
 
+If you would like kitty to completely ignore a key event, not even sending it to
+the program running in the terminal, map it to :code:`discard_event`::
+
+    map kitty_mod+f1 discard_event
+
 You can combine multiple actions to be triggered by a single shortcut, using the
 syntax below::