bugfix for vertical scroll bar update when decreasing window size #1

Merged
merged 1 commit into from May 12, 2012
Commits on Mar 23, 2012