Subject: Re: bug#30182: Update

From: Eli Zaretskii <[email-masked]>
Date: Sun, 21 Jan 2018 05:39:37 +0200

> From: Sujith <[email-masked]>
> Date: Sun, 21 Jan 2018 07:45:43 +0530
> Cc: [email-masked]
> 
> martin rudalics <[email-masked]> writes:
> > Is running w3m absolutely necessary for reproducing the crash?  Do you
> > have any idea whether w3m does strange things with the mode line?
> 
> I am not familiar with w3m internals, sorry.
> But, without starting w3m, the crash doesn't happen.
> 
> I think w3m updates the mode-line based on the title of the
> HTML page that is displayed.

Can you provide a backtrace from a non-optimized build, please?

Thanks.