}
private MouseWheelEvent mirroredMouseWheelEvent(final MouseWheelEvent e) {
double scale;
BattleProperties battleProps = battleManager.getBattleProperties();
int vWidth = battleView.getWidth();
int vHeight = battleView.getHeight();
int fWidth = battleProps.getBattlefieldWidth();
int fHeight = battleProps.getBattlefieldHeight();
if (vWidth < fWidth || vHeight < fHeight) {
scale = min((double) vWidth / fWidth, (double) fHeight / fHeight);
} else {
scale = 1;