Option to disable ctrl+scroll to zoom (#1379)

Introduce a new hidden setting property "misc-ctrl-scroll-wheel-to-zoom" that allows users to toggle zoom with the ctrl + scroll wheel combination.

By default, this feature is enabled (set to TRUE).

Fixes #1379
MR !483

Signed-off-by: Pratik Karki's avatarPratik Karki <pratik@prertik.com>