diff options
| author | Pierre Courtieu | 2010-08-25 09:51:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-08-25 09:51:16 +0000 |
| commit | f294af004f1dbcdf3a42efe3caade7fd6a53ef9e (patch) | |
| tree | a56d0bb83c41d2f7b5b8ea597c15b359b39259e1 /generic/proof-script.el | |
| parent | d8dcc5a9a4e4c8bf55b697f8a9a1f85fe1240356 (diff) | |
Fixed the bug of vertical window splitting when the size of the window
is too small. However if the frame is too small the bug remains (but
it is much less probable).
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions