Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a quick settings menu in editor and viewer #1802

Open
vkbo opened this issue Apr 6, 2024 · 0 comments
Open

Add a quick settings menu in editor and viewer #1802

vkbo opened this issue Apr 6, 2024 · 0 comments
Labels
editor Component: Editor enhancement Request: New feature or improvement

Comments

@vkbo
Copy link
Owner

vkbo commented Apr 6, 2024

Some key preferences should be available from a drop down menu directly in the editor. At least the auto-replace features could be there for the editor, and for the viewer, the options to show comments and keywords could be moved to a similar menu.
@vkbo vkbo added enhancement Request: New feature or improvement editor Component: Editor labels Apr 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editor Component: Editor enhancement Request: New feature or improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vkbo