Re: [patch] Another crash with TOC dock widget after undo

[Abdelrazak Younes]

Stefan Schimanski wrote:

The obvious naive fix:

Simple is beautiful and most of time correct. I'm sure it is this time ;-)

Abdel.