Item logo image for GitHub Tools

GitHub Tools

ExtensionFunctionality & UI7 users
Item media 1 (screenshot) for GitHub Tools

Overview

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

Details

  • Version
    0.6
  • Updated
    April 1, 2025
  • Offered by
    eriksunsol
  • Size
    33.58KiB
  • Languages
    English
  • Developer
    Email
    eriksunsol@gmail.com
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes
Google apps