Closed jawshooah closed 4 years ago
I was going to say, I didn't want to add more editors that might not exist on all systems. But we already have gedit
in the existing list. I think this is a fine addition as anyone that glances at this list of values will might see their own personal editor in the list and clue them into what's going on here.
Yep, exactly!
On Thu, Aug 29, 2019, 9:11 AM Jeff Byrnes notifications@github.com wrote: