[patch] reverse zoom with mouse wheel

[kolesar]

Some software use mouse wheel zoom in reverse direction. People practiced with this convention may feel JOSM more convenient if there would be an option to to reverse zoom direction with mouse wheel. Added this option to look and feel preferences. Slippy map in download dialog also reverses wheel zoom.

[bastiK]

Please use ant clean compile to make sure jmapviewer compiles. There is FeatureAdapter to resolve dependencies, but you may not need it.

[kolesar]

Sorry for trouble, I have not realized that JMapViewer is a standalone component.

New code sets a static boolean in JMapViewer on startup and when preference changes. Therefore all JMapViewer subclasses use the global setting without any modification in their code.

Slippy map in download dialog should be set up even when map is not displayed and MapMover is not instantiated yet. Therefore I have placed this code into a nested static class in MapMover to be initialized on startup.

[bastiK]

In 9824/josm:

applied #12539 - reverse zoom with mouse wheel (patch by kolesar)

[bastiK]

In [o32074]: see ​#josm12539 - option to reverse zoom with mouse wheel

[bastiK]

Replying to kolesar:

Sorry for trouble, I have not realized that JMapViewer is a standalone component.

No trouble at all. You are changing so much that you get to know all the JOSM quirks in a short time. :)