More pager improvements. Pager now determines correctly which text is read by the...
authorrodin <rodin@ddfedd41-794f-dd11-ae45-00112f111e67>
Tue, 11 May 2010 10:30:07 +0000 (10:30 +0000)
committerrodin <rodin@ddfedd41-794f-dd11-ae45-00112f111e67>
Tue, 11 May 2010 10:30:07 +0000 (10:30 +0000)

No differences found