flint: Click on the empty side of the toolbar does not update the property widget