search

pml-lang / pml-companion

Java source code of the 'PML Companion (PMLC)'
https://www.pml-lang.dev
GNU General Public License v2.0
22 stars 1 forks source link

PML Convert 1.3.0: GUI screen bug #20

Closed celtic-coder closed 3 years ago

celtic-coder commented 3 years ago

Step to reproduce:

Clicking in the GUI at the point indicated by the arrow, clears the screen:

Clears-the-screen

Result:

This results in a blank screen with just the window title:

Blank-Screen

Comment:

The black dot seems to be part of a background window mostly hidden by the main window. Clicking anywhere else on the thin border does not cause any problems. Just the black dot clears the screen.

Is this background window required for the GUI to function? In any case, the GUI has to be closed as there is nothing with which to interact.

pml-lang commented 3 years ago

This is actually a bug in the GUI framework used by PML (based on JavaFX). I have taken note of the bug, and I close this issue here because it's not directly related to PML. The bug should disappear as soon as it is fixed in a new version of the GUI framework.