It would be wonderful to be able to specify the default editor(s) used in Resource/open.sh. I was happy to hack the script to use my choice of text editor, but GUI support would have been nice! What ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results