After Model Checking the Dot Windows pops in front

Description

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.

Environment

None

Activity

Show:

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.

Details

Assignee

Reporter

Priority

Created November 28, 2018 at 4:02 PM
Updated August 14, 2020 at 8:43 AM