added a new hotkey to trigger pixel doubling

closes #5122
Merge pull request #5142 from Mailaender/pixeldouble-hotkey

Added a new hotkey to trigger pixel doubling