[isabelle-dev] Query panel not working in rev. d7e0b6620c07

[Florian Haftmann]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20220820/a2cf1021/attachment.sig>