--- a/etc/options Fri Nov 04 11:38:01 2022 +0100
+++ b/etc/options Fri Nov 04 13:33:04 2022 +0100
@@ -178,6 +178,9 @@
option build_pide_reports : bool = true
-- "report PIDE markup (in batch build)"
+option pide_presentation : bool = false
+ -- "presentation of consolidated theories in PIDE"
+
section "Editor Session"
@@ -226,9 +229,6 @@
option editor_syslog_limit : int = 100
-- "maximum amount of buffered syslog messages"
-public option editor_presentation : bool = false
- -- "dynamic presentation while editing"
-
section "Headless Session"