diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 14:50:24 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 14:50:24 +0000 |
commit | 6d929429e10fd6b719bb253ce129edd07da126b0 (patch) | |
tree | 4279f20ecb9e198829f9470d492335ede27a4b7a /generic/proof-menu.el | |
parent | 6036a445eb399d5e6fd9e52572e6b2e585665913 (diff) |
Clean up hints about buffer display
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 820e1544..9e4d5e86 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -81,7 +81,7 @@ without adjusting window layout." (if (eq selectedbuf proof-response-buffer) (set-window-point (get-buffer-window proof-response-buffer t) (point-max))) - (pg-hint (pg-response-buffers-hint (buffer-name nextbuf))))))) + (pg-response-buffers-hint (buffer-name nextbuf)))))) |