Highlight the "current" term node. Issue #237.