mozilla/thimble.webmaker.org — pull request #411 by Pomax (2014-04-15 03:31:48+00:00)
Title: settings menu

new look:

http://imgur.com/j3wjUiG

icon click toggles menu (both reclick and mouseleave toggle hide):

http://imgur.com/Pq8ShOK