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...)

Running it

1. Clone this repository.
2. Load the src directory in Chrome as an unpacked extension.
3. Go to https://github.com.
4. Open the Chrome side panel and select "GitHub Tools", or press Ctrl-B (Cmd-B on MacOS) to open it quickly.

Acknowledgements

This extension is loosely based on the Site-specific side panel example code.