> First the running gag on isabelle-dev: "the new ..." or "the latest ..." is
> ill-defined. You have to refer to *the* changeset of the repository version
> you are presently testing.
Sorry, I'll keep that in mind.
> Concerning "Source Code Pro" font: I tried it some weeks ago when there was
> an announcement somewhere, but dismissed it rather quickly. On JVM/Linux its
> rendering quality appeared quite weak, and too many of our standard Isabelle
> symbols are missing.
I'm quite happy with the font on MacOS, and the missing symbols haven't been a
problem so far since I usually work in ML{* *}. By the way, the tooltips are
really a great help when programming!
> (This can be checked by opening $ISABELLE_HOME_USER/etc/symbols with
> UTF-8-Isabelle encoding.)
Ah, good to know!
Steffen
On 27.10.2012, at 16:42, Makarius <makar...@sketis.net> wrote:
> On Wed, 24 Oct 2012, Steffen Juilf Smolka wrote:
>
>> It seems there is a little (but annoying) issue with the new tooltips in
>> Isabelle/jEdit when using a font other than IsabelleText. I'm using the
>> Source Code Pro font and the tooltips are always just a little too small so
>> that part of the text is hidden/cut off. Of course an easy fix would be to
>> go back to using IsabelleText...
>
> First the running gag on isabelle-dev: "the new ..." or "the latest ..." is
> ill-defined. You have to refer to *the* changeset of the repository version
> you are presently testing.
>
> Nonetheless, I can guess what you mean and to which version range it might
> refer: something close to my own latest version of my laptop, which is
> 8b50286c36d3. (This reference here is important for the mail archive of the
> list, because in some weeks or months nobody remembers what was current in
> the past.)
>
>
> These fine points of sizing the Rich_Text_Area are not fully worked out yet,
> and the next release is still many weeks ahead.
>
> I will take your observation is a slight increase of the priority to address
> it before the release, but this is not sure since many really important
> things still need to happen elsewhere.
>
>
> Concerning "Source Code Pro" font: I tried it some weeks ago when there was
> an announcement somewhere, but dismissed it rather quickly. On JVM/Linux its
> rendering quality appeared quite weak, and too many of our standard Isabelle
> symbols are missing. (This can be checked by opening
> $ISABELLE_HOME_USER/etc/symbols with UTF-8-Isabelle encoding.)
>
>
> Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
