-
-
Notifications
You must be signed in to change notification settings - Fork 279
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
BUG: Changing font size and editor theme doesn't work #244
Comments
Thanks, good catch. Probably I will create hotfix release tomorrow |
Did you ghostfix this already? It works fine now. Still v4.7.2. |
No, I have not fixed it. I tried to fix it today, but I was unable to reproduce it, although I have reproduced it when you created this issue. Probably it occurs under some strange conditions, if this problem will still occur, please let me know. FYI there is no possible "ghostfix" mechanism, if app is not upgraded, the behaviour is the same, because all dependencies are bundled in the app |
I just suspected you did a fix but didn't bump the version number or something. Anyway, I'll keep an eye on it. |
After some usage, the font has reverted back to the original size and changing it doesn't work. Changing the theme doesn't work either. This is on v4.7.3. |
@superDuperCyberTechno if you run dbgate from console, are there any errors when changing font size or theme? When you are in this incorrect state, when chaging font size doesn't work. does work saving new connection (or editing existing) ? Maybe it could be related to #248 . This configuration is stored in dbgate-data/settings.json file |
It seems to happen very erratically. Running
That error message however, does not seem to interact with the error we are discussing here. The name does seem related though. This happens every time. When I close DbGate, sometimes it returns this error in the terminal:
After this error happens, it doesn't exit the process. It just halts the terminal. However, in this state the |
I have replicated this behaviour after installing new plugin. I am not sure, if it was your case, but this scenario I fixed now (will be released in BETA today) |
Alright, good to hear. I haven't dabbled in plugins but I do use PostgreSQL exclusively and that functionality is listed in the plugins section...? |
It was caused by repeated initialization, after this operation app was partially "detached" from main process, one of possible causes was installing new plugin. I am closing it for now, if you will see this problem again, please reopen this issue. Fix was released in 4.8.3 |
This bug is still lurking. Just made a clean install of Ubuntu 22.04 and installed DbGate via Snap. |
Describe the bug
When I change the editor theme or the font size, nothing happens. As far as I can remember, changing the editor theme worked as it should in the prior version.
To Reproduce
Open Settings->Themes and change the editor theme or font size.
Expected behavior
The theme and font size should change accordingly.
Screenshots
N/A
Version Information (please complete the following information):
The text was updated successfully, but these errors were encountered: