out of space on /root

Colin Law clanlaw at gmail.com
Tue Mar 14 08:42:57 UTC 2017


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




More information about the ubuntu-users mailing list