return (e.getModifiers() & modifiers) != 0;
}
private void changeMagnification(MutableTransformer transformer, float delta) {
if(transformer instanceof LensTransformer) {
LensTransformer ht = (LensTransformer)transformer;
float magnification = ht.getMagnification() + delta;
magnification = Math.max(floor, magnification);
magnification = Math.min(magnification, ceiling);
ht.setMagnification(magnification);
}
}