import jalview.schemes.ResidueProperties;
import jalview.structure.StructureSelectionManager;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.awt.BorderLayout;
import java.awt.Color;
/*
* Estimate available height in the AlignFrame for alignment +
- * annotations. Deduct an estimate of 75 for menu bar, scale panel,
+ * annotations. Deduct an estimate for title bar, menu bar, scale panel,
* hscroll, status bar (as these are not laid out we can't inspect their
- * actual heights). Insets gives borders including title bar.
+ * actual heights). Insets gives frame borders.
*/
+ int stuff = Platform.isAMac() ? 80 : 100;
Insets insets = alignFrame.getInsets();
- int availableHeight = alignFrame.getHeight() - 75 - insets.top
+ int availableHeight = alignFrame.getHeight() - stuff - insets.top
- insets.bottom;
/*