Skip to content

feat: customize editor spacing - #133

Merged
kbuffardi merged 5 commits into
mainfrom
feature/customize-editor-spacing
Nov 6, 2026
Merged

kbuffardi merged 5 commits into
mainfrom
feature/customize-editor-spacing

Conversation

@kbuffardi

@kbuffardi kbuffardi commented Nov 6, 2026 •

Copy link
Copy Markdown
Owner

Summary

  • add persistent, category-based editor spacing defaults for Makefiles and all other files
  • add an accessible status-bar spacing dropup with selected-state and outside-click behavior
  • make Monaco spacing selection authoritative by disabling content-based indentation inference and applying matching tab, indent, and insert-space options
  • restrict document conversion to the explicit Apply to file action
  • simplify the status-bar button label while preserving its dropup behavior

Verification

  • npm run lint
  • npm run build
  • npm run test:e2e
  • rebuilt dist/ and dist-firefox/

Closes #131

@kbuffardi kbuffardi mentioned this pull request Nov 6, 2026
1 task done
@kbuffardi
kbuffardi merged commit 1813758 into main Nov 6, 2026
1 check 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.

feat: customize spacing

1 participant