Pivotal-Boulder/IDE-Preferences — pull request #3 by jcpivotallabs (2013-04-24 04:20:53+00:00)
Title: Next and previous bookmark

These two shortcuts are not in the default OS X 10.5+ keymap.
F3 was chosen because it's consistent with the other OS X 10.5+
bookmark shortcuts.