out of space on /root

[Xen]

Colin Law schreef op 14-03-2017 9:42:
> On 13 March 2017 at 23:15, Xen <list at xenhideout.nl> wrote:
>> ...
>> jEdit I believe would first go to the first character, and then if you 
>> pressed home again it would go to the very first position.
>> 
>> I think that was pretty reasonably, it is unfortunate that it is 
>> unusable in Linux, seeing as how Java font rendering is completely 
>> broken.
> 
> I am using jedit on Ubuntu 16.10 and had not noticed any font problems.

Seriously? I mean I hear the other person saying it about Mint as well.

I have been running Kubuntu for quite some time and the font 
anti-aliasing just didn't work.

I don't know if it's a KDE vs. Gnome3 thing...

As both Cinnamon and Unity are of course a Gnome3 offshoot right.

I don't know if this screenshot really shows it, this is also an older 
screenshot of mine:

http://www.xen.dds.nl/f/i/screenshots/jedit-screenshot-kde-5-1.png

The KDE text looks really smooth, and the jEdit font is barely 
anti-aliased, you don't see it as well, or at least I don't see it as 
well as it used to look in real, but the actual text (in the edit 
window) was just painful to my eyes. Zoomed in, it doesn't look so bad. 
zoomed out it is very "hard" text. Thin lines, edgy.

If I take a screenshot from MS-Windows and zoom in, it looks very fuzzy.

http://www.xen.dds.nl/f/i/screenshots/jedit-5.1-on-windows.png

(You'll have to zoom in yourself). The fuzziness is to me an indication 
of anti-aliasing. On Linux (for me) the zoomed in image looks brilliant 
but also very hard and this is the problem when it is very small.

So I'm just saying that the font was very ugly when I used it on KDE. It 
was hard on my eyes and I couldn't stand reading it.