import jalview.util.Comparison;
import jalview.util.MappingUtils;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import jalview.viewmodel.AlignmentViewport;
import java.awt.BorderLayout;
// As the Button2_mask always seems to be true
if ((evt.getModifiers()
& InputEvent.BUTTON2_MASK) == InputEvent.BUTTON2_MASK
- && !av.MAC)
+ && !Platform.isAMac())
{
mouseWheelPressed = true;
return;