On 2010-12-20 12:30:25 +0100, Vincent Lefevre wrote: > 1. Execute "zsh -f". > 2. Type RPS1="%*" and [Enter] (to have the time in the prompt). > 3. Resize the window. > -> If the width has changed, the right part of the prompt is > redisplayed at the correct place, but in any case, the time > displayed in the prompt is not updated, even though zsh has > updated it internally. This can be seen with: > 4. Type [Enter]. > -> The time in the current prompt is updated to the time when the > window has been resized. This shows that the time in the prompt > was updated internally, but the effect couldn't be seen on the > terminal. > A new prompt is also output as expected.
Note for the users of real-time resize: it may happen that two SIGWINCH are sent during the same second, so that you won't see the problem in such a case. The problem can be seen with fvwm by using the ResizeOutline style. It can also be visible with the ResizeOpaque style (real-time resize), but in such a case, you should change the width of the terminal only by one column (or the last (one-)column change should occur more than one second after the other column changes). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
