Skip to content

Remove editor settings from settings menu items for future implementation#542

Open
stijnpotters1 wants to merge 5 commits into
masterfrom
fix/archive-editor-settings
Open

Remove editor settings from settings menu items for future implementation#542
stijnpotters1 wants to merge 5 commits into
masterfrom
fix/archive-editor-settings

Conversation

@stijnpotters1

Copy link
Copy Markdown
Contributor

No description provided.

@stijnpotters1 stijnpotters1 self-assigned this Jun 3, 2026
@stijnpotters1 stijnpotters1 linked an issue Jun 3, 2026 that may be closed by this pull request
Comment thread src/main/frontend/app/routes/settings/settings-menu-items.ts Outdated
@stijnpotters1 stijnpotters1 requested a review from Matthbo June 15, 2026 12:01
@stijnpotters1 stijnpotters1 force-pushed the fix/archive-editor-settings branch from 31859fe to 1e80284 Compare June 15, 2026 12:06
@sonarqubecloud

Copy link
Copy Markdown

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.

No editor settings results in error

3 participants