Fixes reset issue with MirrorAndFilter
Work on OSSE
Implements #934
Fixes highlighing issue with textual PDF
Merge pull request #938 from emmanuel-keller/master

Bug fix and improvement