On 7/2/24 5:06 AM, Jürgen Spitzmüller wrote:
Am Dienstag, dem 02.07.2024 um 09:04 + schrieb Juergen
Spitzmueller:
commit 574db220255dcd8c83f85e30527009a9af41e21d
Author: Juergen Spitzmueller
Date: Tue Jul 2 11:02:36 2024 +0200
GuiDocument::onBufferViewChanged(): exit early if dialog
Am Dienstag, dem 02.07.2024 um 09:04 + schrieb Juergen
Spitzmueller:
> commit 574db220255dcd8c83f85e30527009a9af41e21d
> Author: Juergen Spitzmueller
> Date: Tue Jul 2 11:02:36 2024 +0200
>
> GuiDocument::onBufferViewChanged(): exit early if dialog is not
> open
>
> This should