diff -r 1cebb0ca6d86 -r 08b950ca0313 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Thu Nov 10 08:13:28 2022 +0100
+++ b/src/Pure/GUI/gui.scala	Thu Nov 10 11:17:26 2022 +0100
@@ -135,14 +135,14 @@
 
   object Selector {
     sealed abstract class Entry[A] {
-      def get_item: Option[A] =
+      def get_value: Option[A] =
         this match {
-          case item: Item[_] => Some(item.item)
+          case item: Item[_] => Some(item.value)
           case _ => None
         }
     }
-    case class Item[A](item: A, description: String = "", batch: Int = 0) extends Entry[A] {
-      override def toString: String = proper_string(description) getOrElse item.toString
+    case class Item[A](value: A, description: String = "", batch: Int = 0) extends Entry[A] {
+      override def toString: String = proper_string(description) getOrElse value.toString
     }
     case class Separator[A](name: String = "", batch: Int = 0) extends Entry[A] {
       override def toString: String = "<b>" + name + "</b>"