public static int GRAPH_HEIGHT = 40;
- boolean MAC = false;
+// boolean MAC = false;
public final AnnotationRenderer renderer;
public AnnotationPanel(AlignmentPanel ap)
{
new jalview.util.Platform();
- MAC = Platform.isAMac();
+// MAC = Platform.isAMac();
this.ap = ap;
av = ap.av;
setLayout(null);
*/
package jalview.appletgui;
+import jalview.util.Platform;
+
import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.FlowLayout;
return false;
}
// DEBUG Hint: can test embedded menus by inserting true here.
- if (new jalview.util.Platform().isAMac())
+ if (Platform.isAMac())
{
// Build the embedded menu panel, allowing override with system font
embeddedMenu = makeEmbeddedPopupMenu(topMenuBar, true, false);
*/
protected void hideTitleBars()
{
- if (new Platform().isAMac())
+ if (Platform.isAMac())
{
// this saves some space - but doesn't hide the title bar
topFrame.putClientProperty("JInternalFrame.isPalette", true);
private FontMetrics fm;
- private final boolean MAC = Platform.isAMac();
+ private final boolean USE_FILL_ROUND_RECT = Platform.isAMac();
boolean av_renderHistogram = true, av_renderProfile = true,
av_normaliseProfile = false;
int x1 = lastSSX;
int x2 = (x * charWidth);
- if (MAC)
+ if (USE_FILL_ROUND_RECT)
{
int ofs = charWidth / 2;
// Off by 1 offset when drawing rects and ovals