From 413782128b0c47d3b71b29d16f37fcfe33c91fd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 11:01:10 +0000
Subject: Temporary note of property merging problems

---
 etc/isar/TextProps.thy | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 etc/isar/TextProps.thy

diff --git a/etc/isar/TextProps.thy b/etc/isar/TextProps.thy
new file mode 100644
index 00000000..6c5b4b88
--- /dev/null
+++ b/etc/isar/TextProps.thy
@@ -0,0 +1,22 @@
+theory TextProps imports Main begin
+
+(* Note: nesting regions shows up possible text property 
+   merging problem inside Emacs/font-lock
+
+   \<^bbold>Bold and \<^bitalic>italic\<^eitalic>\<^ebold>
+
+   ;; good, desirable property value for 'face 
+   (append '(:slant italic) '(:weight bold font-lock-string-face))
+   (:slant italic :weight bold font-lock-string-face)
+
+   ;; bad, value obtained with font-lock-{append/prepend}-property:
+   (append '(:slant italic) '((:weight bold font-lock-string-face)))
+   (:slant italic (:weight bold font-lock-string-face))
+
+   For now we work around this in unicode-tokens 
+   (see unicode-tokens-prepend-text-properties)
+*)
+
+term "\<^bbold>Bold and \<^bitalic>italic\<^eitalic>\<^ebold>"
+
+end
-- 
cgit v1.2.3