User Tools
manual:Preferences
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
manual:Preferences [2022/09/06 01:34] peternlewis [WebKit Inspector for HTML Prompt] |
manual:Preferences [2023/10/04 03:38] peternlewis |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| To configure Keyboard~~Maestro, first launch Keyboard~~Maestro and choose [[Menus#Keyboard_Maestro_Preferences|Preferences]] from the [[Menus#Keyboard_Maestro|Keyboard Maestro menu]]. | To configure Keyboard~~Maestro, first launch Keyboard~~Maestro and choose [[Menus#Keyboard_Maestro_Preferences|Preferences]] from the [[Menus#Keyboard_Maestro|Keyboard Maestro menu]]. | ||
| - | {{ preferencesgeneral.png?522&nolink |Preferences General Pane }} | + | {{ preferencesgeneral.png?nolink&582x641 | Preferences General Pane }} |
| The preferences are divided into sections. | The preferences are divided into sections. | ||
| Line 142: | Line 142: | ||
| <code bash> | <code bash> | ||
| defaults write com.stairways.keyboardmaestro.editor Font-Normal -string "Monaco" | defaults write com.stairways.keyboardmaestro.editor Font-Normal -string "Monaco" | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-Fixed -string "Monaco" | ||
| defaults write com.stairways.keyboardmaestro.editor Font-Shell -string "USER" | defaults write com.stairways.keyboardmaestro.editor Font-Shell -string "USER" | ||
| defaults write com.stairways.keyboardmaestro.editor Font-AppleScript -string "FIXED" | defaults write com.stairways.keyboardmaestro.editor Font-AppleScript -string "FIXED" | ||
| Line 303: | Line 304: | ||
| </code> | </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> | <code bash> | ||
| Line 311: | Line 312: | ||
| </code> | </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> | <code bash> | ||
| Line 317: | Line 318: | ||
| </code> | </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> | <code bash> | ||
| defaults write com.stairways.keyboardmaestro.engine TypedStringClearTime -float 5.0 | defaults write com.stairways.keyboardmaestro.engine TypedStringClearTime -float 5.0 | ||
| </code> | </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 ==== | ==== Use Unicode for Keystrokes ==== | ||
| Line 498: | Line 506: | ||
| }' | }' | ||
| - | 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. |
manual/Preferences.txt · Last modified: 2024/05/27 21:26 by peternlewis
Page Tools
