User Tools

Site Tools


manual:Preferences

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
manual:Preferences [2019/06/30 22:41]
peternlewis [Engine]
manual:Preferences [2020/02/20 21:42]
peternlewis [Engine]
Line 192: Line 192:
 defaults write com.stairways.keyboardmaestro.engine ExcludeMultipleImageFlavors -bool NO defaults write com.stairways.keyboardmaestro.engine ExcludeMultipleImageFlavors -bool NO
 </​code>​ </​code>​
- 
- 
  
 ==== Engine ==== ==== Engine ====
Line 234: Line 232:
  
 <code bash> <code bash>
-defaults write com.stairways.keyboardmaestro.engine ​TypedStringResetWithShiftSpace ​-bool NO+defaults write com.stairways.keyboardmaestro.engine ​TypedStringClearWithShiftSpace ​-bool NO
 </​code>​ </​code>​
  
Line 340: Line 338:
 Then you can control-click on elements and use Inspect Element and get an inspector window, including a Console tab. Then you can control-click on elements and use Inspect Element and get an inspector window, including a Console tab.
  
-=== Custom Palette Theme ===+==== Custom Palette Theme ====
  
 You can configure a custom palette theme color style with: You can configure a custom palette theme color style with:
Line 350: Line 348:
 The style includes 3 or 6 HSB colors (being background, text, highlighted letter, selected background, selected text, selected highlight letter) each specified as hue,​saturation,​brightness. ​ The background brightness is dropped by 33%, but if there are only three colors, then the selected background color is the background without the 33% drop.  You can select the Custom style in the Theme Editor. The style includes 3 or 6 HSB colors (being background, text, highlighted letter, selected background, selected text, selected highlight letter) each specified as hue,​saturation,​brightness. ​ The background brightness is dropped by 33%, but if there are only three colors, then the selected background color is the background without the 33% drop.  You can select the Custom style in the Theme Editor.
  
-Alternatively (v9.0+), you can specify the theme using JSON and including all the details ​fo the theme including optional gradients. ​ The format is:+Alternatively (v9.0+), you can specify the theme using JSON and including all the details ​for the theme including optional gradients. ​ The format is:
  
     {      { 
manual/Preferences.txt ยท Last modified: 2023/11/07 00:14 by peternlewis