diff options
author | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:25:29 +0000 |
---|---|---|
committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:25:29 +0000 |
commit | 9b0462a9bb6a34df97515f7a64d4639a7960de0f (patch) | |
tree | e038528f4cc0299728cea8350cb729fb32e43e5d /generic/proof-depends.el | |
parent | b9c06ced8e899854d06314b52d0182e123775afc (diff) |
Don't mess with overlay priorities.
Diffstat (limited to 'generic/proof-depends.el')
-rw-r--r-- | generic/proof-depends.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 535da59f..c55df53d 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -240,7 +240,7 @@ This is simply to display the dependency somehow." (let ((span (cadar nmspans))) (proof-depends-save-old-face span) (span-set-property span 'face 'proof-highlight-dependency-face) - (span-set-property span 'priority pg-dep-span-priority) + ;; (span-set-property span 'priority pg-dep-span-priority) (span-set-property span 'mouse-highlight nil) (span-set-property span 'help-echo helpmsg)) (setq nmspans (cdr nmspans))))) @@ -251,7 +251,7 @@ This is simply to display the dependency somehow." (let ((span (cadar nmspans))) (proof-depends-save-old-face span) (span-set-property span 'face 'proof-highlight-dependent-face) - (span-set-property span 'priority pg-dep-span-priority) + ;; (span-set-property span 'priority pg-dep-span-priority) (span-set-property span 'mouse-highlight nil) (span-set-property span 'help-echo helpmsg) (span-set-property span 'balloon-help helpmsg)) @@ -277,7 +277,7 @@ This is simply to display the dependency somehow." (while span (pg-set-span-helphighlights span 'nohighlight) (proof-depends-restore-old-face span) - (span-set-property span 'priority pg-ordinary-span-priority) + ;; (span-set-property span 'priority pg-ordinary-span-priority) (setq span (next-span span 'type)))))) |