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

Editor font size doesn't change on new tabs #442

Closed
Fabio286 opened this issue Sep 14, 2022 · 0 comments
Closed

Editor font size doesn't change on new tabs #442

Fabio286 opened this issue Sep 14, 2022 · 0 comments
Assignees
Labels
bug 🪲 Something isn't working

Comments

@Fabio286
Copy link
Member

Fabio286 commented Sep 14, 2022

Describe the bug
When changing the font size of the query editor the change is not applied to the tabs opened later.

This bug refers to:
#439 (reply in thread)

To Reproduce
Steps to reproduce the behavior:

  1. Change font size in settings window.
  2. Open a new query tab.

Application (please complete the following information):

  • App version 0.5.16
@Fabio286 Fabio286 added the bug 🪲 Something isn't working label Sep 14, 2022
@Fabio286 Fabio286 self-assigned this Sep 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug 🪲 Something isn't working
Projects
No open projects
Status: Closed
Development

No branches or pull requests

1 participant