set ignore in preferences.json if not defined