erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-07 01:15:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 13
spiegel-keyman/developer
History
Marc Durdin 3a91c7d197 chore(developer): move IDEOptions key responsibility into KeymanDeveloperOptions 
First part of addressing #10161 is to refactor the existing usage of the
registry values into the common KeymanDeveloperOptions unit. This was
mostly straightforward except for the changes to KeymanSentryClient,
which happens to be the most important part of this particular fix.
2023-12-11 13:48:43 +07:00
..
src chore(developer): move IDEOptions key responsibility into KeymanDeveloperOptions 2023-12-11 13:48:43 +07:00
.gitignore chore(developer): move server with no changes 2022-05-23 12:15:34 +10:00
build.sh fix(developer): Add configure output for font 2023-11-14 08:32:18 +07:00