out of space on /root

[Colin Law]

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.

Colin