Window#

class Window(parent: QWidget = None)[source]#

Main window of the application

show_about()[source]#

Displays the About dialog.

show_docs()[source]#

Opens the documentation in the web browser.

We prefer to show the documentation distributed with the packaged application, as it should then refer to the same version. But if for some unforeseen reason we cannot find that, we direct the user to the online version.

edit_parameters()[source]#

Opens the file with the processing parameters in an editor.

edit_defaults()[source]#

Opens the config file with the parameter defaults in an editor.

show_logs()[source]#

Opens the folder with the log files.

open_item(item: Path)[source]#

Opens a file or folder using the default application.

closeEvent(event: QEvent)[source]#

Called when user closes the window.

Qt does not propagate the “close” event to child widgets. That is, they are not explicitly closed, by calling .close() on them, so don’t get a say in whether terminating the application is a good idea right now. We do want that though, so we can determine that within the context of the pages, one of which might be running a background task. Therefore we implement the mechanism ourselves, asking each page to confirm.