--- a/src/Tools/jEdit/src/theories_status.scala Mon Dec 19 13:28:58 2022 +0100
+++ b/src/Tools/jEdit/src/theories_status.scala Mon Dec 19 13:40:36 2022 +0100
@@ -51,6 +51,9 @@
}
private class Node_Renderer extends ListView.Renderer[Document.Node.Name] {
+ private val document_marker = Symbol.decode(" \\<^file>")
+ private val no_document_marker = " "
+
private object component extends BorderPanel {
opaque = true
border = BorderFactory.createEmptyBorder(2, 2, 2, 2)
@@ -146,7 +149,10 @@
component.required.selected =
(if (document) document_required else theory_required).contains(name)
component.label_border(name)
- component.label.text = name.theory_base_name
+ component.label.text =
+ name.theory_base_name +
+ (if (!document && PIDE.editor.document_active && document_required.contains(name))
+ document_marker else no_document_marker)
component
}
}