jEdit (was: out of space on /root)

Ralf Mardorf silver.bullet at zoho.com
Tue Mar 21 14:07:15 UTC 2017


On Tue, 21 Mar 2017 14:54:39 +0100, Liam Proven wrote:
>On 21 March 2017 at 14:47, Ralf Mardorf <silver.bullet at zoho.com> wrote:
>> How would you chose fonts that are more bold, without making all
>> other fonts much too bold?  
>
>In a browser, I zoom the text [snip]
>
>If necessary, in a terminal emulator, I select a bold font.

What you describes doesn't solve the issue. How do adjust the menu bar
and other window fonts of one application, without affecting other
applications? Let alone that your solution not necessarily works. The
size is not all you need to get rid of issues. Btw. I'm using a CRT.





More information about the ubuntu-users mailing list