changing theme properties does not necessarily update edit-mode