Se requiere el navegador Opera.
A browser extension for Chrome, Opera & Firefox that adds Mermaid language support to GitHub. A fork from the not updated GitHub + Mermaid extension.
- Esta extensión puede acceder a tus datos en algunos sitios Web.
Captura de pantalla
Sobre la extensión
- Descargas
- 6 182
- Categoría
- Herramientas de desarrollador
- Versión
- 0.2.0
- Tamaño
- 763,8 KB
- Última actualización
- 26 de febrero de 2021
- Licencia
- Política de privacidad
- Sitio Web del servicio
- https://mermaid.stefs.me
- Página de soporte
- https://mermaid.stefs.me
- Página de código fuente
- https://github.com/Stefan-S/mermaid-extension
Relacionados
-
Block Yourself from Analytics
Block your Google Analytics™ activity for the websites you own, no more false stats.
Puntuación: Número total de puntuaciones: 11
-
FullScreen for Opera
Pantalla completa, #1 zoom y modo oscuro más opciones entrarán en una
Puntuación: Número total de puntuaciones: 3
-
Piral Inspector
The official Piral developer tools browser extension.
Puntuación: Número total de puntuaciones: 0
-
Web Widgetizer
Web Widgetizer is a extension offering a range of features to enhance browsing. It allows users to create separate Opera windows for specific websites, manage favorite links, customize window dimensions, toggle auto-start, and open links in popup tabs via button click or shortcut (Ctrl + Shift + A). This versatile tool optimizes browsing convenience and efficiency.
Puntuación: Número total de puntuaciones: 1
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Puntuación: Número total de puntuaciones: 151