ditto (though less important than paintEvent)