Develoption
What is Develoption?
Develoption is a Chrome extension that offers a code editor for various programming languages, including Javascript, Html, Sql, and Plsql. It also includes a system for saving webpages and text notes, providing a convenient way to stay organized. With features like search, replace, auto-completion, and export/import capabilities, Develoption is a practical and useful tool for developers.
Extension stats
By: Mandragora Tools
Users: 19
Creation date: 2019-03-07
Risk impact: High risk impact
Risk likelihood: Low risk likelihood
Manifest version: 2
Permissions:
Size: 216.06K
Email: ma*****@gmail.com
Other platforms
Not available on Firefox
Not available on Edge
Want to check extension ranking and stats more quickly for other Chrome extensions?
Install
Chrome-Stats extension
to view Chrome-Stats data as you browse the Chrome Web Store.
Extension summary
Es una extensión que nos proporciona un editor de códigos de programación para tenerlo siempre a mano, así como un sistema para guardar notas básicas y tenerlo todo organizado. conmutando fácilmente entre una vista y otra, sencillo,práctico y útil.
[MODO EDITOR]
Añadidos lenguajes: Javascript, Html, Sql, Plsql
Busqueda: ctrl+f
Remplazar: ctrl+shift+f
Remplazar todo: ctrl+shift+r
Ir a una linea: alt+g
Auto completado.
Selección de posición.
Extension safety
Risk impact
Develoption requires some sensitive permissions that could impact your browser and data security. Exercise caution before installing.
Risk likelihood
Develoption has earned a fairly good reputation and likely can be trusted.
Upgrade to see risk analysis details
Promo images
Similar extensions
Here are some Chrome extensions that are similar to Develoption:
Edit with Notepad++ Insum APEX Pro SQL Format Eclipse IDE online SAML SSO for Chrome Apps GoodData Extension Tool SMART4Solutions - APEX Plugin Google Apps Script Custom IDE BigQuery Mate C/C++ Search Extension SSHGate ssh client and terminal emulator APEX Developer Addon
joue.quroi
3.61
30,000+
InsumLabs
4.64
1,000+
omangi
4.60
3,000+
https://offidocs.com
2.53
20,000+
google.com
4.38
100,000+
GoodData (publisher group)
4.93
1,000+
Chris Jansen
3.67
294
Rubén Sánchez
4.50
3,000+
Mikhail Berlyant
4.35
4,000+
https://huhu.io
5.00
3,000+
https://www.redcoolmedia.net
2.76
8,000+
peter.raganitsch
4.92
708