arduino/Arduino — pull request #2331 by championswimmer (2014-09-27 00:52:14+00:00)
Title: Update Sketch menu in IDE GUI

* Have "Save Hex" option (with Ctrl + Shift + R as well)
* Move Upload and Upload w/ Programmer into Sketch menu
as they are functions of sketch and not file technically

Signed-off-by: Arnav Gupta