jEdit (was: out of space on /root)

[Liam Proven]

On 21 March 2017 at 15:07, Ralf Mardorf <silver.bullet at zoho.com> wrote:
> 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.


I don't. I only glance at them when I need to check something. It's
the text in the window I'm here for. The decorations are just chrome:
shiny but not functionally vital. I mainly use keystrokes to navigate
the menus in Word and then I don't look at all.

-- 
Liam Proven • Profile: https://about.me/liamproven
Email: lproven at cix.co.uk • Google Mail/Talk/Plus: lproven at gmail.com
Twitter/Facebook/Flickr: lproven • Skype/LinkedIn/AIM/Yahoo: liamproven
UK: +44 7939-087884 • ČR/WhatsApp/Telegram/Signal: +420 702 829 053