Kill BadgePlugin
Kill TreeHighlighter
Improve TreeWidget method naming
Simplify TreeWidget item highlighting
TreeDelegate: respect TreeBadge highlight palette
Fix ThemeInfo
WIP: TreeDelegate