Gui: information dialogs may be rather long. in this case, use a read-only QTextEdit to make it scrollable