phoebe: tried zoom listener; not time efficient- bumping it down to lower priority
Merge branch 'master' of https://github.com/dirkstahlecker/ppat_project
phoebe: merging zoom listener attempt