Cómo cambiar el tamaño de la pestaña en el editor de Cloud9.
¿Alguien sabe si Cloud9 dejó de permitir a los usuarios cambiar el tamaño de las pestañas dentro del editor? Los botones que existían en la parte inferior derecha (referenciados en el enlace a continuación) ya no existen. Enlace: https://stackoverflow.com/questions/30776297/how-to-increase-the-indent-size-in-cloud9