On Mon, 23 Apr 2012, Alexander Krauss wrote:
On 04/23/2012 05:22 PM, Makarius wrote:
Here is an update of the test website for warming up a bit more
http://www4.in.tum.de/~wenzelm/test/website/
From the monolithic Windows App (with Windows 7):
The font in the little symbol replacement popup seems to be wrong: When I
enter ==>, I just see a little box in that popup. In the main buffer, the
symbol is displayed correctly.
Well-spotted. I've addressed this old Isabelle/jEdit problem in
Isabelle/b9e2ed4b1579, but then figured out that it breaks old Java 1.6 on
Mac OS X, so I had to revert it. It is one of these moments where it is
unclear if Windows or Mac OS X is more annoying.
But it seems to be actually a general issue with ListCellRenderer JVM 1.6
vs. 1.7 and Java vs. Scala generics. If I don't get a better idea, I
might produce an auxiliary module for ListCellRenderer to be compiled in
too variants.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
