diff -r f981111768ec -r 2163772eeaf2 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Sat Aug 13 23:04:53 2022 +0200
+++ b/src/Pure/GUI/gui.scala	Sat Aug 13 23:08:07 2022 +0200
@@ -119,7 +119,7 @@
     reactions += { case ButtonClicked(_) => clicked() }
   }
 
-  class Bool(label: String, init: Boolean = false) extends CheckBox(label) {
+  class Check(label: String, init: Boolean = false) extends CheckBox(label) {
     def clicked(state: Boolean): Unit = {}
     def clicked(): Unit = {}