src/Pure/PIDE/editor.scala

--- a/src/Pure/PIDE/editor.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/PIDE/editor.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
 package isabelle
 
 
-abstract class Editor[Context]
-{
+abstract class Editor[Context] {
   /* session */
 
   def session: Session
@@ -33,8 +32,7 @@
 
   /* hyperlinks */
 
-  abstract class Hyperlink
-  {
+  abstract class Hyperlink {
     def external: Boolean = false
     def follow(context: Context): Unit
   }