You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the GUI, we need to implement a custom progress bar handling for the GuiIdeContext. that allows us to show the progress bar to the user using JavaFX.
Additional context
Currently, no progress bars are displayed in the GUI at all. Only a quickfix preventing a NPE has been implemented in GuiIdeContext (see #1468 ).
Feature idea
In the GUI, we need to implement a custom progress bar handling for the
GuiIdeContext. that allows us to show the progress bar to the user using JavaFX.Additional context
Currently, no progress bars are displayed in the GUI at all. Only a quickfix preventing a NPE has been implemented in
GuiIdeContext(see #1468 ).