Hi all, in rev. d7e0b6620c07 opening the query panel by clicking on its button fails with:
> java.lang.NullPointerException: Cannot invoke
> "scala.collection.immutable.List.foreach(scala.Function1)" because
> "this.isabelle$jedit$Query_Dockable$$operations" is null
> at
> isabelle.jedit.Query_Dockable.handle_resize$$anonfun$1(query_dockable.scala:303)
> at
> isabelle.jedit.Query_Dockable.handle_resize$$anonfun$adapted$1(query_dockable.scala:303)
> at isabelle.GUI_Thread$.require(gui_thread.scala:23)
> at
> isabelle.jedit.Query_Dockable.isabelle$jedit$Query_Dockable$$handle_resize(query_dockable.scala:303)
Cheers,
Florian
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
