GitHub Tools in Chrome with OffiDocs

DESCRIPTION

Side panel with some useful tools for GitHub.

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

GitHub Tools web extension integrated with the OffiDocs Chromium online