Dieser Benutzer hat in letzter Zeit keine Kommentare veröffentlicht.
☰
Skripte
Slidebar - GitHub PR Sidebar EnhancerJava Script
-
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.
