After quick investigation, the delete-event of the viewport triggers the same code patch, twice. From pigment_input and pigment_frontend. Removing the one in pigment_input fixes the problem.
After quick investigation, the delete-event of the viewport triggers the same code patch, twice. From pigment_input and pigment_frontend. Removing the one in pigment_input fixes the problem.