☰

Publish button in repo on GitHub

5/28/2020, 5:17:05 PM

Autor
Degreet
Instalaciones diarias
0
Instalaciones totales
11
Calificaciones
0 0 0
Versión
1.4
Creado
1/6/2020
Actualizado
18/5/2021
Tamaño
2,01 KB
Licencia
Desconocida
Funciona en

También puedes probar estos otros scripts:

  • 🏷️ UTags - Agregar etiquetas de usuario a los enlaces - Mejora tu experiencia de navegación agregando etiquetas personalizadas y notas a usuarios, publicaciones y videos en la web. Perfecto para organizar contenido, identificar usuarios y filtrar publicaciones no deseadas. También funciona como una herramienta moderna de gestión de marcadores. Compatible con más de 100 sitios web populares, incluyendo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch y muchos más.
  • PlumFont - Reemplace Roboto, Segoe UI, Arial y otras fuentes - Reemplace las fuentes de las páginas web por las de su preferencia. Deje de usar Segoe UI, Arial y Microsoft YaHei. Reemplace los números en inglés con las fuentes SF Pro e Inter.
  • GitHub Embellecedor de lista de archivos - GitHub File List Beautifier es un script de usuario，utilizado para mejorar GitHub Efecto de visualización de archivos en el almacén.。Puede agregar colores a archivos y carpetas.，y reemplace los íconos de tipo de archivo con imágenes pequeñas，Hace que la base del código sea más fácil de navegar y administrar.。Agregue colores e íconos a archivos por tipo，Mostrar imágenes pequeñas en lugar de íconos de tipo de archivo en el árbol de fuentes del repositorio
  • Asistente de traducción de clave de acceso directo de GitHub - Escuche el atajo de teclado CTRL + Q, que implementa la función de traducir el texto y reemplazar los resultados de la traducción con el cuadro de texto original.
  • 🏷️ UTags - Agregar etiquetas de usuario a los enlaces - staging - Mejora tu experiencia de navegación agregando etiquetas personalizadas y notas a usuarios, publicaciones y videos en la web. Perfecto para organizar contenido, identificar usuarios y filtrar publicaciones no deseadas. Compatible con más de 100 sitios web populares, incluyendo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch y muchos más.