Tim Hoffmann - 2012-10-09

since rev. 3291, the searched page is displayed in the status bar