diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-01-17 10:04:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-01-17 10:04:59 +0000 |
| commit | 682715a78b9434b043cf0d664ed9c030508750d5 (patch) | |
| tree | 1b4b7331aaa509066638759feb0f493b31f3c555 /doc | |
| parent | c8a997a20215220f2f79ffc1cb34de758e73538c (diff) | |
Fixed a bug with window height optimization.
When using unicode symbols, window-height (which is deprecated anyway)
is incorrect, using window-text-height instead seems better.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions