jEdit (was: out of space on /root)

[Colin Law]

On 21 March 2017 at 12:45, Xen <list at xenhideout.nl> wrote:
> Colin Law schreef op 14-03-2017 9:42:
>
>> I am using jedit on Ubuntu 16.10 and had not noticed any font problems.
>
>
> Hi Colin,
>
> Here is a screenshot of me running jEdit from a Debian host (Jessie) over an
> X session via PuTTY on Windows :p.
>
> http://www.xen.dds.nl/f/i/screenshots/jedit-5.1_from_Linux_over_X.png

Not sure what you are complaining about exactly. it looks ok to my ancient eyes.

>
> You've never had something like that? The autohinting doesn't work, I
> believe. I have had the same on Kubuntu 16.04, never any different, no
> matter what I tried.

I don't think I use autohinting.  Are you referring to one of the plugins?

>
> I even fixed autohinting on Linux for GTK using:
>
> ln -s /usr/share/fontconfig/conf.avail/10-autohint.conf /etc/fonts/conf.d
>
> because it also didn't work for the GTK apps I was running on XMing.
>
> After I turned it on, night and day difference for the apps I was running
> (e.g. Geany).
>
> I could post a screenshot of the same jEdit on Windows, but let's just say
> that the fonts are way more fuzzy than on Linux (which is a good thing) for
> me.
>
> So I was just wondering how I could achieve font smoothing or autohinting on
> Ubuntu or Debian or Kubuntu, in this sense. For java.
>
> Regards.
>
> --
> ubuntu-users mailing list
> ubuntu-users at lists.ubuntu.com
> Modify settings or unsubscribe at:
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-users