pgadmin-org
Result grid - Font size
There is no option to change the font size of result grid.
Search for Option to increase the font size of the result grid and you won’t find it. It is currently 2025 and even if the application is based on the slow Electron, it is easily possible to increase the font size in Electron.
And no, I do not want to increase the whole application (Cmd -/+). I just want to have the possibility to increase the font specially of the result grid.
There is no documentation about the possibility to change result grid font size, no possibility itself. Why do devs always think, the way they do or design stuff or the way they like it, would be also liked and accepted by everyone? Such critical part of an application like the adjusting the font size is very important today. On my display is the font kinda too small and it is not comfortable to work with that tool.
@mibeon We will take it as a feature request, but want to ask if you have any fast alternative to Electron?
@adityatoshniwal Thank you very much for taking that on the list. 🤝
To the electron alternatives. I would say, there are some out there.
We move our apps (or write new versions, better to say) from electron/js to wails/go. It uses also webkit (on-system) but is faster and more lightweight as electron. "Backend" would have to be Go (maybe also a good thing in case of performance).
Also tauri is good as combination of rust with web stack.
I suppose you want to use html/css further due to already placed ui, so the focus would be restricted to solutions, which use html/css for the ui.
The combination of electron and python/flask is kinda rare. I haven't seen it before pgAdmin. 🙂
For this issue, the possibility to increase the font of the result grid, would be very helpful thing. The way you do it for the query editor is totally enough. If you would also add the possibility to change/select the font, that would be even greater! You have sometimes contents in the tables, where the default system font is not the best one, to read the characters fast. For those scenarios a monospaced font is way better.
Hi @mibeon,
Electron has a good ecosystem like auto update and other stuff. We had tried NW.js which was not maintained very well. May be in future we can find alternative. We already have a feature request for font selection.
Thanks.