out of space on /root

[Jim]

On 03/14/2017 03:42 AM, Colin Law wrote:
> 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
>


Same here, though I have been using it mostly on Mint 18 lately.

Regards,  Jim