Re: [Crash-catcher] Plugin settings GUI