samaaron/sonic-pi — pull request #172 by jweather (2014-10-20 17:43:42+00:00)
Title: Ctrl+I is a synonym for F1

Thought I had already fixed this...