mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-05 08:25:32 +00:00
b751336c13
1. Copy help.keyman.com/developer/17.0/* into /developer/docs/help 2. Update references to 18.0 where appropriate 3. Copy all referenced images from /cdn/dev into /developer/docs/help/images and update links in documentation Next commit: add deployment to help-keyman-com.sh. Note: simplest way to test links at this point is to use the help.keyman.com auto deploy and wait for the PR on help.keyman.com to be validated; we could look at an internal link validation tool that verifies markdown links? Relates-to: #12347
28 lines
964 B
Markdown
28 lines
964 B
Markdown
---
|
|
title: Keyman Developer User Settings
|
|
---
|
|
|
|
Keyman Developer has settings stored in several locations:
|
|
|
|
`~/.keymandeveloper/options.json` (`%userprofile%\.keymandeveloper\options.json` on Windows)
|
|
|
|
: User preferences are stored in this file. In version 16 and earlier, these
|
|
options were stored in the Registry under
|
|
`HKCU\Software\Keyman\Keyman Developer\IDE\Options`. Any options found in
|
|
the Registry will be migrated to the `options.json` file on first start
|
|
of the Keyman Developer IDE.
|
|
|
|
`HKCU\Software\Keyman\Keyman Developer\IDE`
|
|
|
|
: Stores settings specific to the IDE, including window locations and
|
|
visibility, recently used projects, font preferences.
|
|
|
|
`%appdata%\Keyman\Keyman Developer`
|
|
|
|
: Stores files related to the runtime environment of Keyman Developer, including
|
|
cache files.
|
|
|
|
`%localappdata%\Keyman\Diag`
|
|
|
|
: Stores files relating to diagnostics for Keyman Developer; this folder is also
|
|
used for Keyman for Windows diagnostics.
|