Morgan Hardwood 871188a1d8 Navigator should use a different icon while panning ...

The Navigator uses the same hand icon regardless whether panning
the red square or not, this branch tries to fix that, #4738
Includes a cleanup of icon names, i.e. the crosshair should not be
called the hand.

2018-08-20 10:44:27 +02:00

..

dark

Navigator should use a different icon while panning

2018-08-20 10:44:27 +02:00

light

Navigator should use a different icon while panning

2018-08-20 10:44:27 +02:00