idris-hackers/idris-mode — pull request #186 by david-christiansen (2014-06-13 16:27:27+00:00)
Title: Get rid of message about nil being an unknown face

When there's no face to add, don't try to add a face.