[isabelle-dev] jEdit

[Christian Sternagel]

Maybe I should have tried it myself before posting ;). Yes, it works 
with jdk1.6.0_32.

cheers

chris

On 04/27/2012 01:33 PM, Christian Sternagel wrote:
> Dear all,
>
> with the current repo head (changeset fe43977e434f) I obtain the
> following error when trying to start jEdit (after a successful ./build
> -b HOL):
>
> ### Building Isabelle/jEdit ...
> Changed files:
> src/isabelle_sidekick.scala
> src/isabelle_sidekick.scala:109: error: trait ListCellRenderer takes
> type parameters
> new ListCellRenderer {
> ^
> src/isabelle_sidekick.scala:113: error: class JList takes type parameters
> list: JList, value: Any, index: Int,
> ^
> src/isabelle_sidekick.scala:109: error: type mismatch;
> found : AnyRef{}
> required: javax.swing.ListCellRenderer[?>: Nothing <: Any]
> new ListCellRenderer {
> ^
> three errors found
>
> Is this related to the recent change from Java 1.7 to 1.6? In other
> words, should I locally fall back to Java 1.6 when using the development
> repository?
>
> cheers
>
> chris
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev