Make GitHub's PR sidebar actually usable - resizable, with tooltips and optional horizontal scrolling. Settings are persistent and configurable via a button on the toolbar.
Verze ze dne 17. 08. 2025. Zobrazit nejnovější verzi.
