mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-18 05:37:11 +00:00
79a947c904
A better solution would be to entirely get rid of this borrowed pointer with unclear lifetime, but this requires to introduce a new signal for when the buffer view attached to the GuiView has changed.