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.

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

Move editor options to a new page #184

Open
dshoreman opened this issue Nov 5, 2019 · 0 comments
Open

Move editor options to a new page #184

dshoreman opened this issue Nov 5, 2019 · 0 comments
Labels
enhancement New feature or request

Comments

@dshoreman
Copy link
Owner

Create a new page (perhaps a user profile) with a section for Editor Settings.

This new Editor Settings section should contain options for setting the default theme and whether to enable line wrapping or not.

Maybe we can keep the theme and line wrapping options in the editor, but they wouldn't really be necessary. Depends if there's anything else that could take their place. The language mode dropdown would be useful to keep in case autodetection doesn't work properly.

@dshoreman dshoreman added the enhancement New feature or request label Nov 5, 2019
@dshoreman dshoreman added this to To do in File Manager via automation Nov 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
File Manager
  
To do
Development

No branches or pull requests

1 participant