GitHub Tools

GitHub Tools Chrome Extension This Chrome extension adds a side panel with some useful tools for GitHub: GENERAL - Hide and show "stupid" tooltips (default: hide) (Some UI elements on GitHub pop up tooltips that annoyingly get in the way of other UI elements nearby.) DIFF VIEWS - Collapse and expand all files - Show only additions, only deletions, or both - Hide and show comments MERMAID VIEWS - Hide and show size/pan boxes in Mermaid views (default: hide) (Quite often they get in the way of diagrams...)