Re: [Crash-catcher] [PATCH] GUI: better text layout