Please revert this commit...

[Stephan Bergmann]

On 12/05/2013 10:58 AM, Samuel Mehrbrodt wrote:
>> I have no idea what "Now you cannot change the element by which you
>> navigate anymore" means.
>
> It's in the Navigator (F5) when you click the "Navigation" button
> (second button in the first row). In the opened window you can jump to
> the next/previous page with the buttons on the right.
> If you click one of the other buttons, you change the element you
> navigate by (e.g. Heading: Jump to next/previous heading).
> Changing that hat no effect after you removed SetMoveType.

Ah; works again.

Stephan