Editor: zoom with Ctrl + mouse wheel #438

I have tested it on windows 7.