# HG changeset patch
# User wenzelm
# Date 1660382571 -7200
# Node ID 5c53e24d3dc2190f04b64e39e84c795420de3265
# Parent  afa35ed14c7186190711c4bf55186dbb13873788
tuned, following hints by IntelliJ IDEA;

diff -r afa35ed14c71 -r 5c53e24d3dc2 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 13 11:19:18 2022 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 13 11:22:51 2022 +0200
@@ -125,10 +125,10 @@
     opaque = true
     border = BorderFactory.createEmptyBorder(2, 2, 2, 2)
 
-    var node_name = Document.Node.Name.empty
+    var node_name: Document.Node.Name = Document.Node.Name.empty
 
     val checkbox_geometry = new Geometry
-    val checkbox = new CheckBox {
+    val checkbox: CheckBox = new CheckBox {
       opaque = false
       override def paintComponent(gfx: Graphics2D): Unit = {
         super.paintComponent(gfx)
@@ -137,7 +137,7 @@
     }
 
     val label_geometry = new Geometry
-    val label = new Label {
+    val label: Label = new Label {
       background = view.getTextArea.getPainter.getBackground
       foreground = view.getTextArea.getPainter.getForeground
       opaque = false