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 [2022/09/06 01:34] peternlewis [WebKit Inspector for HTML Prompt] |
manual:Preferences [2023/04/23 23:19] peternlewis [Custom Palette Theme] |
||
|---|---|---|---|
| Line 498: | Line 498: | ||
| }' | }' | ||
| - | 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: 2023/11/07 00:14 by peternlewis
Page Tools
