[isabelle-dev] Sidekick completion in Isabelle/jEdit
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