Documentation fix

Old remnants of the TextDisplayWidget class (now renamed TextTabWidget)
Fixed WDW double-click awkwardness

Now only double-clicking on a colored label toggles the approval status.
Previously clicking between text edits, etc., would trigger that.