Export Compiled Binary

While developing a programme, I usually use Proteus Simulation before making the hardware.
It requires a compiled binary file in .hex format. So every time I make changes in programme I have to click "Verify" and also "Sketch/Export compiled Binary" to update my hex file.

I suggest that "Sketch/Export compiled Binary" should be a toggle button. In this way I have to toggle it "On" only once and then every time I click "Verify" or "Upload" it will automatically update my hex file.

Kindly consider this small modification the next version of Arduino IDE.