Tommaso Cucinotta wrote:
Hello,
when zooming in/out with [Ctrl] + [Mouse Wheel], document WA's font is
immediately updated, but if the Advanced F&R dialog is shown, its own
WAs' font (find WA and replace WA) is not immediately updated, but
delayed until the next editing action.
The attached patch fixes such behaviour, and performs the update
immediately.
It implies changes in BufferList.{h,cpp} to trigger the internal
buffers changed() methods, in addition to the one of the non-internal
ones.
I suggest instead to create a new method BufferList::changed() method
that calls Buffer::changed() on all buffers, internal or not.
Abdel.
