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 ).
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 ).