redraw if we scroll on resize
[st.git] / README
2009-05-10 Anselm R Garbebackport of local changes