On 14 dic 2015, at 12:38 p.m., Peter Uhnak <i.uhnak@gmail.com> wrote:

ve, I would propose to
actually use "$= ctrl" for zooming in.