A gripping listlessness or melancholia caused by boredom; depression.
To make bored or listless; to weary.
Boredom or tediousness; ennui.