Bug#607628: zsh: prompt not immediately updated after window resize (missing fflush?)

2010-12-25 Thread Vincent Lefevre
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

Bug#607628: zsh: prompt not immediately updated after window resize (missing fflush?)

2010-12-20 Thread Vincent Lefevre
Package: zsh Version: 4.3.10-17 Severity: minor 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