erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-05 08:25:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
spiegel-keyman/developer/docs/help/reference/user-settings.md
Marc Durdin b751336c13 refactor(developer): copy dev 17.0 help into repo 
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
2024-09-16 08:46:24 +07:00

964 B
Raw Blame History

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.