Modified files: Tue Mar 25 12:33:59 2008 src/Pager/Pager.c ChangeLog: fixed bug in Pager where shading/unshading causes Pager to grow in size if border width > 0