Integrated development environment for coding with file explorer and terminal.

editor - Captured on 4/12/2025 by @romain-penchenat