Miglioramenti UI per GitHub PR
GHPR è un'estensione gratuita per Chrome progettata per migliorare l'interfaccia utente delle richieste di pull su GitHub. Tra le sue principali funzionalità, l'estensione adatta la barra laterale delle PR in base alla lunghezza dei nomi dei file, consentendo anche agli utenti di ridimensionarla secondo le proprie preferenze. Inoltre, GHPR offre la possibilità di sfumare e ripiegare i file e le cartelle già esaminati all'interno dell'albero delle richieste di pull, facilitando così la navigazione.
Un'altra caratteristica utile è l'evidenziazione dei file visibili che si stanno esaminando nel pannello a destra. Gli utenti possono anche fissare l'estensione e selezionare le opzioni che meglio si adattano alle loro esigenze, rendendo l'esperienza di revisione più personalizzata e intuitiva.
