Skip to content

playground: editor prefs parity (word wrap, show errors, auto format) #832

Closed
Closed
playground: editor prefs parity (word wrap, show errors, auto format)#832
Labels
enhancementNew feature or request
Milestone
v1.0.x

Description

@johnleider
johnleider
opened on Aug 12, 2026

play persists ecosystem.play editor settings via One user store; v0play lacks equivalent. Soft P1.

Activity

  1. johnleider
    added this to the v1.0.x milestone on Aug 12, 2026
  2. johnleider
    added
    enhancementNew feature or request
    on Aug 12, 2026
  3. johnleider
    added a commit that references this issue on Aug 15, 2026

    feat(playground): add editor preferences (word wrap, show errors) (#847)

    a07489f
  4. johnleider
    closed this as completedin a07489fon Aug 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions