Workarea not updated after deleting figure inset, on current master

[Jean-Marc Lasgouttes]

Le 18/04/2024 à 00:31, José Matos a écrit :
> On Wed, 2024-04-17 at 23:29 +0200, Jean-Marc Lasgouttes wrote:
>> Is it still here with latest master? If it is, could you give a
>> better
>> recipe? I cannot reproduce.
>>
>> JMarc
> 
> With your last change this issue was fixed:

Very good, thanks for testing.

JMarc