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

Allow users to select font size for sql editor #440

Closed
Fabio286 opened this issue Sep 12, 2022 Discussed in #439 · 1 comment
Closed

Allow users to select font size for sql editor #440

Fabio286 opened this issue Sep 12, 2022 Discussed in #439 · 1 comment
Labels
enhancement 🚀 New feature or request

Comments

@Fabio286
Copy link
Member

Discussed in #439

Originally posted by ZayRTun September 11, 2022
Depending on the size of the display the font size of SQL editor can get too small to read but on large monitors, it works fine. These (small, medium, and large) sizes are very limiting sometimes and it would be great if you allow users to pick a font size that works for their display.

@Fabio286 Fabio286 added the enhancement 🚀 New feature or request label Sep 12, 2022
@Fabio286 Fabio286 moved this to 📌 To do in Work in Progress Board Sep 12, 2022
@Fabio286
Copy link
Member Author

Animation

Repository owner moved this from 📌 To do to ✔ Done in Work in Progress Board Sep 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement 🚀 New feature or request
Projects
Work in Progress Board
Status: ✔ Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Fabio286