After Model Checking the Dot Windows pops in front
Description
Environment
Activity
Fabian Vu August 14, 2020 at 8:43 AM
One could also implement the modal behavior using
this.initModality(Modality.WINDOW_MODAL);
this.initOwner(stageManager.getMainStage());
instead of this.initModality(Modality.APPLICATION_MODAL);
In this case, this issue disappears but the modal stage only blocks the main stage. You can still access other views if they were opened before e.g. DotView.
Fabian Vu February 19, 2020 at 12:49 PM
This issue also appears for all other modal stages.
It seems to be a JavaFX bug
https://bugs.openjdk.java.net/browse/JDK-8159226
dgelessus January 16, 2019 at 1:03 PM
I'm not sure what exactly is happening here, but it has something to do with the modelchecking stage being modal. (If I make it non-modal, the issue disappears.)
I don't know if this is something we can fix - our code simply calls .hide()
on the stage, and that is enough to cause the issue. Maybe it's a JavaFX bug, or maybe we have a listener somewhere else in our code that causes this.
When model checking finds a counter example and the Graph visualisation (Dot) view was open it suddenly pops (unexpectedly) in front, rather than keeping the windows as they are.