jEdit

[Xen]

Liam Proven schreef op 21-03-2017 14:54:

> If necessary, in a terminal emulator, I select a bold font. If it's a
> plain text editor then it won't be showing formatting so it doesn't
> matter if it can't show bold separately.

The only way you'll be able to do that is to create a smaller size 
virtual desktop with xrandr and then to zoom into that to create the 
normal desktop size, or something similar.

Then you'd be using the GPU's interpolation to apply a blur on the 
image.

Something that the anti-aliasing engine ought to be doing instead...