westfw:
Have you clicked the "use external editor" button in preferences?
Hi, westf!
Thanks for Your reply! Actually, I had tried that "external editor" mode previously (since it caught my interest), but it had confused me, since it prevents editing in the Arduino IDE itself - and thus I switched it off again. In that way, I have failed to realize that, when using this mode, the IDE does indeed reload the document each time a compile or compile/upload is started (unlike when the "external editor" mode is switched off).
This mode is actually quite helpful if one knows about it. Although I really would prefer the IDE to play well with an external editor even in normal editing mode - and to reload a document automatically every time it was saved in an external editor (I believe that this should be standard behavior of a modern software).
I started using that external editor mode now. Thanks for pointing this out to me!
Best,
Björn