Skip to content

Add model editor support #520

Description

@FedericoPonzi

Fully responsive layout. Should match or beat the toolbox's UX.
Features:

  • Feature flag with "Open Settings" prompt when disabled
  • Live spec sync (constants/operators update as you edit the .tla file)
  • Inline tooltips explaining every option
  • Custom suggestion dropdowns (replaces native datalist)
  • Clickable file links to open spec and MC files

After:

  • Dirty indicator (*) on tabs, Save disabled when clean
  • Per-field dirty tracking with undo buttons

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions