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

[Feature]: Add a user settings page #32

Open
janechu opened this issue Sep 14, 2021 · 0 comments
Open

[Feature]: Add a user settings page #32

janechu opened this issue Sep 14, 2021 · 0 comments
Assignees
@janechu
Labels
idea An idea that has not been fully ideated but could be a future feature.
Projects
Overview

Comments

@janechu
Copy link
Contributor

janechu commented Sep 14, 2021

Feature Request

Summary

There should be a user settings page.

Examples

  • Users should be able to change font size on the Monaco Editor
@janechu janechu added the idea An idea that has not been fully ideated but could be a future feature. label Sep 14, 2021
@janechu janechu self-assigned this Sep 14, 2021
@janechu janechu added this to Triage in Overview via automation Sep 14, 2021
@janechu janechu moved this from Triage to Backlog in Overview Sep 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janechu janechu

Labels
idea An idea that has not been fully ideated but could be a future feature.
Projects
Overview
Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@janechu