diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
| commit | 76d6b0b2b1f039549d308a0d2c478a6b05869af9 (patch) | |
| tree | 78cc7e13bf290a17e7006a6d4616a8a08e36ce8f /generic/pg-pbrpm.el | |
| parent | 8f8e9388b582ad6d3ee6e1eea842a8d443d4ce89 (diff) | |
Merge changes from Version4Branch.
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 2d6a757f..2138de08 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -234,18 +234,8 @@ The prover command is processed via pg-pbrpm-run-command." "Cancel" (lambda (n) (pg-pbrpm-erase-buffer-menu) (delete-frame)) nil)) ;; needs to be fixed for other prover than phox - ;; da: here's a possible fix, perhaps we can simply use - ;; `proof-fontify-region' which has been configured - ;; by phox mode appropriately with hooks (new second case). - (cond - ((featurep 'phox) - (if phox-sym-lock-enabled - (font-lock-fontify-buffer) - (if phox-x-symbol-enable - (x-symbol-decode)))) - (t - (proof-fontify-region (point-min) (point-max)))) - + ;; da: I've removed code here, we should simply keep this + ;; buffer with font lock on. (mapc 'span-read-only pg-pbrpm-spans) (make-dialog-frame '(width 80 height 30))) (beep))))) |