The source project of this merge request has been removed.
preferences dialog: same dialog shown endlessy
This fixes the problem that the program enters into infinite loop when failed to activate an extension. There was a previous attempt to fix this issue in commit 3d62cd4c