Dev OS v0.3.2

Open and edit desktop settings directly in Dev OS Editor.

• The Editor toolbar now has a settings button that opens its JSON preferences in a tab. Reopening reuses the same tab and preserves unsaved work in other tabs.
• Settings includes Open settings JSON for the selected Desktop or extension page.
• Missing preferences files are created from current values. Existing files, including invalid JSON that needs repair, are preserved.
• Saving valid preferences applies them immediately. Invalid JSON or field values show an error and keep the active settings until the file is corrected.
• Includes the Use latest version session switch introduced in v0.3.1.

Install through Settings → Updates, save your work, then choose Use latest version and confirm the switch. Built-in desktop apps close during the shell restart. Sessions older than v0.3.1 need a first manual restart using .\dev.ps1 updated on Windows/WSL or bin/dev-os-updated-session --nested on Linux.

Validation: TypeScript/build checks, configuration, extension, updater and Store integration tests, plus native React GTK and desktop UI tests covering JSON opening, tab reuse, live application, invalid settings and repair.