Interface for editing code with commit functionality.

edit - Captured on 2/20/2025 by @romain-penchenat