[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#16738: Errors while resizing vertically
From: |
martin rudalics |
Subject: |
bug#16738: Errors while resizing vertically |
Date: |
Fri, 21 Feb 2014 22:29:30 +0100 |
> My change adjusted set-window-new-pixel so that it rejects attempts to
> set the new pixel size to a negative value. Here, new-pixel is currently
> 0, so (set-window-new-pixel window-17 t) is attempting to change
> new-pixel to be -17.
Indeed. Storing a negative pixel value is an error.
> Are negative new-pixel values allowed? If so, the attached patch should
> fix the problem. If not, the problem's probably in the caller.
There was a bug in the caller - hopefully fixed now. No further action
needed from your side.
Thanks, martin
- bug#16738: Errors while resizing vertically, E Sabof, 2014/02/13
- bug#16738: Errors while resizing vertically, martin rudalics, 2014/02/14
- bug#16738: Errors while resizing vertically, E Sabof, 2014/02/14
- bug#16738: Errors while resizing vertically, martin rudalics, 2014/02/21
- bug#16738: Errors while resizing vertically, Paul Eggert, 2014/02/21
- bug#16738: Errors while resizing vertically,
martin rudalics <=
- bug#16738: Errors while resizing vertically, E Sabof, 2014/02/23
- bug#16738: Errors while resizing vertically, martin rudalics, 2014/02/24
- bug#16738: Errors while resizing vertically, E Sabof, 2014/02/24
- bug#16738: Errors while resizing vertically, martin rudalics, 2014/02/26
bug#16738: Errors while resizing vertically, martin rudalics, 2014/02/21