Set up files like this and you can use ANY editor.The only thing for which I use the IDE is to run the serial monitor. If it was a separate program I wouldn't need the IDE at all.Don't know why the developers waste their time on this poor piece of work
Anyway, you like it, you keep using it.
No wonder this thread included the words "IDE haters" in its title. There are enough of them around to justify the phrase.
If it's so bad and you know all that's wrong with it then make us a better version.
it's a slippery slope: Add a little thing here, another little thing there and soon you end up rebuilding Eclipse only on worse.
For my part, I would prefer if the Arduino IDE team concentrates in fixing the bugs and and focus on the vision they have for the IDE, whatever that might be. My impression was, the main target group for the IDE are beginners, so make it easy for them and forget all about power users. They have enough good other options available and thus matter a lot less.
I gave up on that when the community had a hissyfit in the uno threads acting like adding anything would confuse and bewilder anyone (confusing things like a menu to change font size)