Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

On Tue, 15 Sep 2015, Rafal Kolanski wrote: The patched jedit code base will be updated again for the coming release of 5.3.0, which should appear *really*soon*now*. It will be the first jEdit release with proper 4K display support! Well, I hope they have time take a peek at some of the

Re: [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts

On 03/10/15 00:35, Makarius wrote: > On Tue, 15 Sep 2015, Rafal Kolanski wrote: > >>> The patched jedit code base will be updated again for the coming >>> release of 5.3.0, which should appear *really*soon*now*. It will be >>> the first jEdit release with proper 4K display support! >> >> Well, I