NullPointerException in PrologOutput
Description
Activity
Show:
Fabian Vu September 14, 2020 at 11:53 AM
It seems that this bug is a JavaFX bug which cannot be fixed on our side.
https://bugs.openjdk.java.net/browse/JDK-8125313
Fabian Vu September 14, 2020 at 7:47 AMEdited
The exception is still there. This exception also appears for the Groovy console
Yumiko Jansing September 9, 2020 at 2:37 PMEdited
RichTextFX has been added to provide copyability. Since I don’t have a Mac I do not have the means to reproduce the zooming bug. Can you check if this bug persists please?
Details
Details
Created August 26, 2020 at 12:31 PM
Updated October 7, 2020 at 9:51 AM
A NPE occurs in PrologOutput when one tries to zoom in or zoom out. This seems to be a (Mac-specific) JavaFX bug. It is also not possible to copy from the text. Maybe, we should use RichTextFX instead.
java.lang.NullPointerException: null
at javafx.graphics/javafx.scene.Scene$ScenePeerListener.zoomEvent(Scene.java:2689)
at javafx.graphics/com.sun.javafx.tk.quantum.GlassViewEventHandler.lambda$handleZoomGestureEvent$18(GlassViewEventHandler.java:1050)
at java.base/java.security.AccessController.doPrivileged(AccessController.java:391)
at javafx.graphics/com.sun.javafx.tk.quantum.GlassViewEventHandler.lambda$handleZoomGestureEvent$19(GlassViewEventHandler.java:1015)
at javafx.graphics/com.sun.javafx.tk.quantum.QuantumToolkit.runWithoutRenderLock(QuantumToolkit.java:390)
at javafx.graphics/com.sun.javafx.tk.quantum.GlassViewEventHandler.handleZoomGestureEvent(GlassViewEventHandler.java:1014)
at javafx.graphics/com.sun.glass.ui.View.handleZoomGestureEvent(View.java:612)
at javafx.graphics/com.sun.glass.ui.View.notifyZoomGestureEvent(View.java:1080)
at javafx.graphics/com.sun.glass.ui.GestureSupport.handleZoomingEnd(GestureSupport.java:166)
at javafx.graphics/com.sun.glass.ui.GestureSupport.lambda$createTouchCountListener$0(GestureSupport.java:396)
at javafx.graphics/com.sun.glass.ui.TouchInputSupport.notifyEndTouchEvent(TouchInputSupport.java:115)
at javafx.graphics/com.sun.glass.ui.mac.MacTouchInputSupport.notifyEndTouchEvent(MacTouchInputSupport.java:93)
at javafx.graphics/com.sun.glass.ui.mac.MacGestureSupport.notifyEndTouchEvent(MacGestureSupport.java:81)