Skip to content

Strip settings out of Visual Editor - #12891

Merged
LeonMatthes merged 2 commits into
slint-ui:visual-editorfrom
LeonMatthes:visual-editor-stripped
Aug 13, 2026
Merged

LeonMatthes merged 2 commits into
slint-ui:visual-editorfrom
LeonMatthes:visual-editor-stripped

Conversation

@LeonMatthes

Copy link
Copy Markdown
Member

The settings were not really used by the Visual Editor and have now been moved into a separate PR.

The feature is being upstreamed separately in
slint-ui#12111, so it does not belong in the visual editor
branch. Drop it here to keep this branch's eventual squashed commit
free of it; it comes back from master once the PR lands.

This removes the settings store, the PreviewUserSettings /
EditorUserSettings types, their protocol messages and the UI wiring,
and restores RequestState to its plain file-list form. The editor
settings on top of it (always-on-top for the editor window) go with it
and can be re-added later.
The issue was caused by a compiler bug, which has since been fixed in
master by PR slint-ui#12155 .
@LeonMatthes
LeonMatthes force-pushed the visual-editor-stripped branch from 8071ee3 to 40f4d1c Compare August 13, 2026 12:28
@LeonMatthes
LeonMatthes merged commit fc995a5 into slint-ui:visual-editor Aug 13, 2026
11 of 13 checks passed
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.

2 participants