arduino/Arduino — pull request #1234 by sgk (2013-01-18 07:00:17+00:00)
Title: Scroll the editor tab menu.

When the sketch folder contains a lot of source files, the editor
tab menu should scroll. Without this, we don't have a way to select
some files hidden under bottom edge of the screen.