diff options
| -rw-r--r-- | etc/isar/TextProps.thy | 22 |
1 files changed, 22 insertions, 0 deletions
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 |