Skip to content

fix: wait for UI to send display settings#1264

Open
shilangyu wants to merge 10 commits into
rocq-prover:mainfrom
shilangyu:mw/config
Open

fix: wait for UI to send display settings#1264
shilangyu wants to merge 10 commits into
rocq-prover:mainfrom
shilangyu:mw/config

Conversation

@shilangyu

Copy link
Copy Markdown
Contributor

Fixes #1260

We must wait for the UI to finish initializing before sending the display configuration to it. Otherwise the message is lost. See #1253 for more explanation.

I additionally:

  • Added type safety to many bare strings and payloads which were waiting for a typo
  • Made the goal view react to changes in the maxDepth. Before, it required a refresh of the goal view

@gares gares requested a review from rtetley June 16, 2026 05:03
@gares

gares commented Jun 18, 2026

Copy link
Copy Markdown
Member

Sorry, I must have merged another PR. please fix the conflict.

@shilangyu

Copy link
Copy Markdown
Contributor Author

Should be good now

@gares

gares commented Jun 18, 2026

Copy link
Copy Markdown
Member

maybe @rtetley can give a second look at the ts code.
Otherwise I will test and merge

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[BUG] possible regression in configuration update

2 participants