I think we make too big of an adjustment to the zoom when the user does a ctrl + mouse wheel scroll in the workspace. It's almost unusable because it's such a big jump. Would be good if we could reduce this to something closer to what a single +/- click does (or ideally, even less).