Added a new hotkey to trigger pixel doubling

as wished in #5122.