diff options
| author | Thomas Kleymann | 1998-10-28 10:58:43 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-28 10:58:43 +0000 |
| commit | 5937bacd73624d3ae7c1f20f5b19c9f76ba527f1 (patch) | |
| tree | 94ed6773704b28c1a099c2719eaede4cd2993f48 /generic/proof-script.el | |
| parent | 4e0c2376bfc02461b35101264b51f0fb158d2451 (diff) | |
rearranged code to avoid compiler warning messages
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 690eda08..b7334087 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -271,8 +271,8 @@ to allow other files loaded by proof assistants to be marked read-only." "Issue the warning STR." (proof-response-buffer-display str 'proof-warning-face) (display-buffer proof-response-buffer) - (set-window-buffer-dedicated - (get-buffer-window proof-response-buffer) proof-response-buffer)) + (set-window-dedicated-p + (get-buffer-window proof-response-buffer) 'dedicated)) (defun proof-register-possibly-new-processed-file (file) |