User Tools
manual:Preferences
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
manual:Preferences [2019/06/25 02:56] peternlewis |
manual:Preferences [2019/06/25 03:11] peternlewis [Editor] |
||
|---|---|---|---|
| Line 137: | Line 137: | ||
| defaults write com.stairways.keyboardmaestro.editor DisableAnimation -bool YES | defaults write com.stairways.keyboardmaestro.editor DisableAnimation -bool YES | ||
| </code> | </code> | ||
| + | |||
| + | You can configure the fonts used for the various action text views with: | ||
| + | |||
| + | <code bash> | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-Normal -string "Monaco" | ||
| + | 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-JavaScript -string "SYSTEM" | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-Swift -string "Times" | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-HTML -string "Courier:25" | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-JSON -string "Marker Felt:10" | ||
| + | defaults write com.stairways.keyboardmaestro.editor Font-Comment -string "Palatino:20" | ||
| + | </code> | ||
| + | |||
| + | The value of this field can be one of “USER”, “FIXED” or “SYSTEM” (for the default user, fixed and system fonts), or a font name. This can optionally be followed by a colon and the point size. The default point size is 13. The font size is scaled based on the Large Text setting, and this size is used for the //Normal// setting. | ||
| + | |||
| ==== Clipboard ==== | ==== Clipboard ==== | ||
manual/Preferences.txt · Last modified: 2024/05/27 21:26 by peternlewis
Page Tools
