# HG changeset patch
# User wenzelm
# Date 1670533468 -3600
# Node ID 16f049023619591f3e039d86f9a3c04a9b4586b6
# Parent  1a56906176fb3598d55044c1b6dbf3f5cd093ae9
tuned signature;

diff -r 1a56906176fb -r 16f049023619 src/Tools/jEdit/src/theories_status.scala
--- a/src/Tools/jEdit/src/theories_status.scala	Thu Dec 08 21:41:26 2022 +0100
+++ b/src/Tools/jEdit/src/theories_status.scala	Thu Dec 08 22:04:28 2022 +0100
@@ -58,7 +58,7 @@
       var node_name: Document.Node.Name = Document.Node.Name.empty
 
       val required_geometry = new Geometry
-      val required = new CheckBox {
+      val required: CheckBox = new CheckBox {
         opaque = false
         override def paintComponent(gfx: Graphics2D): Unit = {
           super.paintComponent(gfx)