Allow to select the source code editor to be used through Preferences.
Showing
This diff is collapsed.
Please register or sign in to comment
lab.nexedi.com will be down from Thursday, 20 March 2025, 07:30:00 UTC for a duration of approximately 2 hours