[UI] Diff tools.