Switching to external editor

Hello everyone. I wonder if its possible to modify arduino ide to put a checkbox or a button near save button in upper toolbox. When checked it should simply check the box from properties window like a shortcut enabling or disabling external editor feature. Is this at all possible? If so where can i find more info about it? Thanks.

You'd need to edit the Arduino IDE's Java code and then build your modified IDE. You can find the source code here:

And build instructions here:

There is a new feature in progress that will cause the Arduino IDE to reflect external edits to the sketch even when not in external editor mode:

This will make the external editor mode unnecessary unless you want to disable editing in the Arduino IDE. Unfortunately, that feature has not yet been incorporated into the standard Arduino IDE. However, it is incorporated into the beta build of the Arduino IDE, which you can download here:

You should be aware that the beta build is primarily intended for beta testing only and that you might run into some bugs that would not occur with the production releases of the Arduino IDE.

The configuration can also be changed from command-line mode. For example, to change the current editor to Sublime Text:

config editor "subl -w"
or just ssh -X