Le navigateur Opera est requis.
- Cette extension peut accéder vos données sur certains sites.
Saisie d'écran
À propos de l'extension
- Téléchargements
- 7 502
- Catégorie
- Outils de développement
- Version
- 0.2.0
- Taille
- 763,8 Kio
- Dernière mise à jour
- 26 février 2021
- Conditions d'utilisation
- Politique de vie privée
- Site de service
- https://mermaid.stefs.me
- Page d'assistance
- https://mermaid.stefs.me
- Page source
- https://github.com/Stefan-S/mermaid-extension
Related
-
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.
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
-
Custom Style Script
Add Custom JavaScript (JS) Code or Styles (CSS) to any page.
-
Cookie Editor
Edit cookies related to the current page and all its sub-frames right from a popup
-
Pixel converter
Pixel converter is a crucial web development and design tool for converting pixel values into different measurement units like inches, centimeters, or percentages, ensuring consistency across diverse devices and screens in responsive web design.