Revert workaround for the gtk-ok button

This reverts commit e731544f .