Differences

This shows you the differences between two versions of the page.

--- manual:Preferences [2022/09/06 01:34]
peternlewis [WebKit Inspector for HTML Prompt]
+++ manual:Preferences [2023/10/04 03:30]
peternlewis [Typed String Buffer]
@@ Line 303: / Line 303: @@
 </code>
-==== Typed String Buffer ====
+==== Typed String ====
-You can disable Shift-Space from clearing the Typed String buffer
+You can disable Shift-Space from clearing the Typed String buffer with:
 <code bash>
@@ Line 311: / Line 311: @@
 </code>
-and you can disable clicks from clearing the Typed String buffer
+and you can disable clicks from clearing the Typed String buffer with:
 <code bash>
@@ Line 317: / Line 317: @@
 </code>
-and you can set the idle time for clearing the Typed String buffer (default 5 seconds)
+and you can set the idle time for clearing the Typed String buffer (default 5 seconds) with:
 <code bash>
 defaults write com.stairways.keyboardmaestro.engine TypedStringClearTime -float 5.0
 </code>
+You can disable modifiers taps in the Typed String buffer with:
+<code bash>
+defaults write com.stairways.keyboardmaestro.engine AllowModifiersInTypedStrings -bool NO
+</code>
 ==== Use Unicode for Keystrokes ====
@@ Line 498: / Line 505: @@
 	}'
-NoteL the “-string” is important - otherwise the `defaults` command will interpret the JSON itself and that will not work.
+Note that the “-string” is important - otherwise the `defaults` command will interpret the JSON itself and that will not work.

Keyboard Maestro Wiki