I have seen a setting in Arduino IDE: 'use external editor' (I'm using the Macintosh platform)
but I have not (yet' found how to do that.
I checked the 'preferences' fiels, but could not understand how to setup thing so that I can use an external editor.
I found that if you ENable the 'use external editor', that the standard Arduino IDE editingwindows does not allow to edit anything anymore,
so does that mean that I just have to open the file in my editor.
I hoped that there would be a setting where, after starting de Arduino utiity, my own editor would automatically pop up, with the most current file.
Thanks for help/hints