A gripping listlessness or melancholia caused by boredom; depression.
To make bored or listless; to weary.
The quality of being tedious; tedium.