[isabelle-dev] Sidekick completion in Isabelle/jEdit

Makarius makarius at sketis.net
Wed Apr 25 16:15:42 CEST 2012

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.


More information about the isabelle-dev mailing list