On Wed, 25 Apr 2012, Lars Noschinski wrote:
I would also prefer \t, but it does nothing for me.
This seems to be a problem with Java 7 (jdk1.7.0_03); for Java 6
(jdk1.6.0_31) it works fine here (Isabelle cb44d09d9d22, JEdit build
component 20120414, Linux).
I can confirm this on Linux. On Windows with RDP (vmbroy9) it does not
work, neither with Java 6 nor 7.
Nonetheless, I have now switched the release back to jdk1.6.0_31, see
Isabelle/de249b5ae6e2, since it also allows to configure the
ListCellRenderer for the Sidekick popup, see Isabelle/936df5d02dc9.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
