Fix text zoom when high-precision scrolling input is used

Touchpad / MagicMouse provide high-precision scrolling events,
and getWheelRotation() often turns out to be 0
Just ignore the events for now since proper handling of high precision is complicated

see https://github.com/JetBrains/intellij-community/blob/21c99af7c78fc82aefc4d05646389f4991b08b38/bin/idea.properties#L133-L156

src/us/deathmarine/luyten/OpenFile.java

@@ -227,6 +227,13 @@ public int getSourceOffset() {
 		scrollPane.addMouseWheelListener(new MouseWheelListener() {
 			@Override
 			public void mouseWheelMoved(MouseWheelEvent e) {
+				if (e.getWheelRotation() == 0) {
+					// Nothing to do here. This happens when scroll event is delivered from a touchbar
+					// or MagicMouse. There's getPreciseWheelRotation, however it looks like there's no
+					// trivial and consistent way to use that
+					// See https://github.com/JetBrains/intellij-community/blob/21c99af7c78fc82aefc4d05646389f4991b08b38/bin/idea.properties#L133-L156
+					return;
+				}
 
 				if ((e.getModifiersEx() & InputEvent.CTRL_DOWN_MASK) != 0) {
 					Font font = textArea.getFont();