Mael Hilléreau wrote:
> 1. Create a new doc.
>
> 2. Run latex.
>
> 3. View the LaTeX log.
>
> 4. Switch to another buffer. Zoops! The log dialog is closed.
>
> Bug?

Probably yes.

Jürgen

Reply via email to