erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-05 00:15:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

docs: improve comments in keyman-developer-options.ts

Browse source 
Build-bot: skip

Co-authored-by: Eberhard Beilharz <ermshiperete@users.noreply.github.com>
This commit is contained in:
Marc Durdin 2026-06-29 16:11:39 +02:00 • committed by GitHub
parent cfe2e8ef06
commit b2ee534612
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
developer/src/common/web/utils/src/keyman-developer-options.ts
View file

@ -17,7 +17,7 @@ export const KeymanDeveloperOptionsPath = [/* '~', */ '.keymandeveloper', 'optio
/**
* The set of standard user options for Keyman Developer. Corresponds to
* TKeymanDeveloperOptions in the Keyman Developer TIKE source.
* TKeymanDeveloperOptions in `developer/src/tike/main/KeymanDeveloperOptions.pas`
*/
export interface KeymanDeveloperOptions {
"use tab char": boolean;
@ -61,7 +61,7 @@ export interface KeymanDeveloperOptions {
export type KeymanDeveloperOption = keyof KeymanDeveloperOptions;
const DEFAULT_OPTIONS: KeymanDeveloperOptions = {
// Corresponds to KeymanDeveloperOptions.pas, TKeymanDeveloperOptions.Read
// Corresponds to TKeymanDeveloperOptions.Read in KeymanDeveloperOptions.pas
"use tab char": false,
"link font sizes": true,
"indent size": 4,