\r
jalview.bin.JalviewLite applet;\r
\r
+ boolean MAC = false;\r
+\r
public AlignViewport(AlignmentI al, JalviewLite applet)\r
{\r
this.applet = applet;\r
this.endSeq = al.getHeight() - 1;\r
setFont(font);\r
\r
+ if(System.getProperty("os.name").startsWith("Mac"))\r
+ MAC = true;\r
+\r
if (applet != null)\r
{\r
String param = applet.getParameter("showFullId");\r
\r
java.awt.FontMetrics fm = nullFrame.getGraphics().getFontMetrics(font);\r
setCharHeight(fm.getHeight());\r
- setCharWidth(fm.charWidth('M'));\r
+ charWidth = fm.charWidth('M');\r
}\r
\r
public Font getFont()\r
return font;\r
}\r
\r
- public void setCharWidth(int w)\r
- {\r
- this.charWidth = w;\r
- }\r
-\r
public int getCharWidth()\r
{\r
return charWidth;\r
// this value is set false when selection area being dragged\r
boolean fastPaint = true;\r
\r
- boolean MAC = false;\r
+\r
\r
public AlignmentPanel(AlignFrame af, final AlignViewport av)\r
{\r
e.printStackTrace();\r
}\r
\r
- if(System.getProperty("os.name").startsWith("Mac"))\r
- MAC = true;\r
\r
alignFrame = af;\r
this.av = av;\r
int scrollX = av.startRes - oldX;\r
int scrollY = av.startSeq - oldY;\r
\r
- if (av.getWrapAlignment() || !fastPaint || MAC)\r
+ if (av.getWrapAlignment() || !fastPaint || av.MAC)\r
{\r
repaint();\r
}\r