Editor: zoom with Ctrl + mouse wheel #438