summaryrefslogtreecommitdiff
path: root/es/A_devtools.md
diff options
context:
space:
mode:
authorEkaitz Zarraga <ekaitz@elenq.tech>2020-09-25 00:22:20 +0200
committerEkaitz Zarraga <ekaitz@elenq.tech>2020-09-25 00:22:20 +0200
commit9199bf48805c7e9616d1bbdfba062d2c81945d59 (patch)
tree795908aec144bf19aa44949e65c16e60ff1df13a /es/A_devtools.md
parent007355c56f86fe42856346a8d7685e9aa3dac541 (diff)
My last correction block
Diffstat (limited to 'es/A_devtools.md')
-rw-r--r--es/A_devtools.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/es/A_devtools.md b/es/A_devtools.md
index bee13af..ce5a589 100644
--- a/es/A_devtools.md
+++ b/es/A_devtools.md
@@ -12,12 +12,12 @@ uno de ellos o por otro.
La diferencia entre un entorno de desarrollo integrado y un editor es la
siguiente: los entornos de desarrollo cumplen varias funciones adicionales,
-como en el caso de IDLE, dar acceso a una REPL de python y la posibilidad de
+como, en el caso de IDLE, dar acceso a una REPL de python y la posibilidad de
analizar las variables en memoria. Los editores únicamente sirven para escribir
el código, aunque en muchos casos la línea que separa ambos conceptos es
bastante borrosa: existen editores con funcionalidades avanzadas y entornos
integrados muy sencillos que parecen un simple editor. Resumiendo, los entornos
-integrados de desarrollo (IDE *integrated development environment*) tienen
+integrados de desarrollo, o IDE (*Integrated Development Environment*), tienen
editores entre sus herramientas.
### Entornos de desarrollo integrados