Hi, i've installed RDM in Linux Mint, but i'm trying to change font in
SSH connection, i change font but the terminal not show complete
changes...for instance...the size not change...
On the other hand, it's not posible change font quality....
Hi arrobalabase,
I am able to reproduce the font size issue, I opened a ticket.
About the font quality, I recommend you to use a monospace font. Let me know if that help.
Regards,
Gabriel Dubois
Hi Gabriel.
Yes, i'm try to use monospace...but still the quality is not very good and as I mentioned, the font size does not change either...in windows SO, we have some many options on fonts as "true type" or "anti-aliasing"...etc....i'm trying all applications that i use with my work because I'm analyzing the option of installing a linux instead of a windows... and one of these applications is RDM!!!
We have a fix for the font size problem, it should be released next week.
I talked with the developer dedicated to the terminal and he will investigate if these font quality options can be add into RDM Linux.
Gabriel Dubois
Perfect!! thanks!
Have a good Weekend
Hi arrobalabase,
We added the "Antialias text" option which you can find in Preferences > Session Type > Terminal.
This option is currently available in RDM Linux 2022.3.0.4. Let me know if that helps.
Regards,
Gabriel Dubois