Skip to content

fix(developer): consolidate user options in TypeScript code#16134

Open
mcdurdin wants to merge 1 commit into
masterfrom
fix/developer/13458-consolidate-server-options
Open

fix(developer): consolidate user options in TypeScript code#16134
mcdurdin wants to merge 1 commit into
masterfrom
fix/developer/13458-consolidate-server-options

Conversation

@mcdurdin

Copy link
Copy Markdown
Member
  • Remove Server's 'config.json' redundant user options handling
  • Refactor options.ts in Server and kmc to share common cross-platform code
  • Move option defaults into common code and sync with .pas defaults
  • Rename config.ts to standardPaths.ts to better represent the remaining purpose of the module.

Fixes: #13458

User Testing

* Remove Server's 'config.json' redundant user options handling
* Refactor options.ts in Server and kmc to share common cross-platform
  code
* Move option defaults into common code and sync with .pas defaults
* Rename config.ts to standardPaths.ts to better represent the remaining
  purpose of the module.

Fixes: #13458
@github-project-automation github-project-automation Bot moved this to Todo in Keyman Jun 24, 2026
@keymanapp-test-bot keymanapp-test-bot Bot added has-user-test user-test-required User tests have not been completed labels Jun 24, 2026
@keymanapp-test-bot

keymanapp-test-bot Bot commented Jun 24, 2026

Copy link
Copy Markdown

@ermshiperete ermshiperete left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM


/**
* The set of standard user options for Keyman Developer. Corresponds to
* TKeymanDeveloperOptions in the Keyman Developer TIKE source.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wondering if it would be better to state the filename?

Suggested change
* TKeymanDeveloperOptions in the Keyman Developer TIKE source.
* TKeymanDeveloperOptions in `developer/src/tike/main/KeymanDeveloperOptions.pas`

export type KeymanDeveloperOption = keyof KeymanDeveloperOptions;

const DEFAULT_OPTIONS: KeymanDeveloperOptions = {
// Corresponds to KeymanDeveloperOptions.pas, TKeymanDeveloperOptions.Read

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A bit clearer might be:

Suggested change
// Corresponds to KeymanDeveloperOptions.pas, TKeymanDeveloperOptions.Read
// Corresponds to TKeymanDeveloperOptions.Read in KeymanDeveloperOptions.pas

@Meng-Heng Meng-Heng self-assigned this Jun 25, 2026
@Meng-Heng

Meng-Heng commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Test Prerequisites

  1. Uninstall Keyman Developer
  2. Restart Windows 10 Bootcamp
  3. Install keymandeveloper-19.0.248-alpha-test-16134

Test Results

  • TEST_NGROK (PASSED):
  1. Launch Keyman Developer -> Open krung.kmn
  2. Navigate to Tools tab -> Options -> Server
  3. Follow along the tutorial (https://help.keyman.com/developer/current-version/context/server#ngrok)
  4. Verified: Additional server URL for ngrok appears for "Test Keyboard on web"
  5. Verified: In Tool tabs, there is a Server menu
  6. Verified: Sharing the ngrok link to Mobile devices to open is working as expected, able to test the keyboards.
  7. Verified: Once Keyman Developer IDE is closed, the Mobile device is unable to access/test the keyboards.

@keymanapp-test-bot keymanapp-test-bot Bot removed the user-test-required User tests have not been completed label Jun 25, 2026
@Meng-Heng Meng-Heng removed their assignment Jun 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

chore(developer): stop using $SERVERDATA/config.json

3 participants