diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:12:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:12:13 +0000 |
| commit | c232db97ddd85378a90e4546ceb319c52a82a913 (patch) | |
| tree | e2c77e469dbaecf61792aac3330fe1d45ee11214 /generic | |
| parent | abd8825858881d884c4374611f3ce71425aab124 (diff) | |
Tweak to shrink-to-fit
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 9e649752..2ca5c428 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -630,7 +630,8 @@ or if the window is the only window of its frame." ;; FIXME: is count-lines too expensive for v.large ;; buffers? Probably not an issue for us, but one ;; wonders at the shrink to fit strategy. - (+ extraline 1 (count-lines (point-min) (point-max))))) + ;; NB: way to calculate pixel fraction? + (+ extraline 2 (count-lines (point-min) (point-max))))) ;; ;; Let's shrink or expand (cond |