mozilla/pdf.js — pull request #3487 by timvandermeij (2013-07-18 11:11:41+00:00)
Title: Removing code duplication when handling shortcuts

Ctrl+G is still working with this patch, so the previous code seems duplicate to me.