Message199659
Very nice, thanks for porting this. One minor nit: when I close the sidebar, then scroll and then reopen it, it does not immediately update the sidebar position, only when scrolling again. |
|
Date |
User |
Action |
Args |
2013-10-13 07:00:07 | georg.brandl | set | recipients:
+ georg.brandl, terry.reedy, orsenthil, ned.deily, ezio.melotti |
2013-10-13 07:00:07 | georg.brandl | set | messageid: <1381647607.41.0.174921121957.issue4965@psf.upfronthosting.co.za> |
2013-10-13 07:00:07 | georg.brandl | link | issue4965 messages |
2013-10-13 07:00:07 | georg.brandl | create | |
|