src/Pure/System/options.scala

--- a/src/Pure/System/options.scala	Tue Dec 06 16:23:49 2022 +0100
+++ b/src/Pure/System/options.scala	Tue Dec 06 16:26:59 2022 +0100
@@ -79,6 +79,7 @@
         }
       Word.implode(words1.map(Word.perhaps_capitalize))
     }
+    def title_jedit: String = title("jedit")
 
     def unknown: Boolean = typ == Unknown
   }