src/Pure/PIDE/protocol_message.scala

--- a/src/Pure/PIDE/protocol_message.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/PIDE/protocol_message.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,20 +7,17 @@
 package isabelle
 
 
-object Protocol_Message
-{
+object Protocol_Message {
   /* message markers */
 
-  object Marker
-  {
+  object Marker {
     def apply(a: String): Marker =
       new Marker { override def name: String = a }
 
     def test(line: String): Boolean = line.startsWith("\f")
   }
 
-  abstract class Marker private
-  {
+  abstract class Marker private {
     def name: String
     val prefix: String = "\f" + name + " = "