Skip to content

chore: use code_editor widget for object variables#1171

Merged
ludwig-mueller merged 1 commit intomainfrom
code-editor
Oct 15, 2025
Merged

chore: use code_editor widget for object variables#1171
ludwig-mueller merged 1 commit intomainfrom
code-editor

Commits

Commits on Oct 15, 2025