# HG changeset patch
# User wenzelm
# Date 1671627600 -3600
# Node ID 1b8dd8c0492fd77aeb9c33d1282ec3f58a936aef
# Parent  b045b40a65cc13a050f28947fec498ce54eed8c8
tuned comments;

diff -r b045b40a65cc -r 1b8dd8c0492f src/Pure/PIDE/document_editor.scala
--- a/src/Pure/PIDE/document_editor.scala	Wed Dec 21 13:52:44 2022 +0100
+++ b/src/Pure/PIDE/document_editor.scala	Wed Dec 21 14:00:00 2022 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/PIDE/document_editor.scala
     Author:     Makarius
 
-Central resources for interactive document preparation.
+Central resources and configuration for interactive document preparation.
 */
 
 package isabelle
@@ -42,7 +42,7 @@
   }
 
 
-  /* global state */
+  /* configuration state */
 
   sealed case class State(
     session_background: Option[Sessions.Background] = None,