\r
sg.setStartRes(res);\r
sg.setEndRes(res);\r
+\r
+ ap.annotationPanel.addEditableColumn(res);\r
}\r
av.setSelectionGroup(sg);\r
ap.RefreshPanels();\r
else if (res < sg.getStartRes())\r
sg.setStartRes(res);\r
\r
+ ap.annotationPanel.addEditableColumn(res);\r
ap.RefreshPanels();\r
}\r
}\r
}\r
\r
// scalewidth will normally be screenwidth,\r
- public void drawScale(Graphics gg, int startx, int endx, int scaleWidth)\r
+ public void drawScale(Graphics g, int startx, int endx, int scaleWidth)\r
{\r
+ Graphics2D gg = (Graphics2D)g;\r
+ gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
int charWidth = av.getCharWidth();\r
\r
gg.setFont(av.getFont());\r
{\r
FeatureRenderer fr;\r
Image img;\r
- Graphics gg;\r
+ Graphics2D gg;\r
int imgWidth;\r
int imgHeight;\r
\r
imgWidth = getWidth();\r
imgHeight = getHeight();\r
img = createImage(imgWidth,imgHeight);\r
- gg = img.getGraphics();\r
+ gg = (Graphics2D)img.getGraphics();\r
gg.setFont(av.getFont());\r
+ gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
paintFlag = false;\r
}\r
\r
av.setChunkHeight(chunkHeight);\r
av.setChunkWidth(chunkWidth);\r
\r
- fillBackground(gg,Color.WHITE,0,0,imgWidth,imgHeight);\r
+ gg.setColor(Color.WHITE);\r
+ gg.fillRect(0,0,imgWidth,imgHeight);\r
\r
if (av.getWrapAlignment())\r
drawWrappedPanel(gg, getWidth(), getHeight(), av.startRes);\r
}\r
\r
\r
- public void drawPanel(Graphics g,int x1,int x2, int y1, int y2,int startx, int starty,int offset) {\r
+ public void drawPanel(Graphics g1,int x1,int x2, int y1, int y2,int startx, int starty,int offset) {\r
\r
\r
+ Graphics2D g = (Graphics2D)g1;\r
g.setFont(av.getFont());\r
RendererI sr = av.getRenderer();\r
\r
oldY = sy;\r
inGroup = true;\r
if (group == av.getSelectionGroup())\r
- g.setColor(Color.RED.brighter());\r
+ {\r
+ g.setStroke(new BasicStroke(2, BasicStroke.CAP_BUTT, BasicStroke.JOIN_ROUND, 3f, new float[]{5f,2f,2f}, 0f ));\r
+ g.setColor(Color.RED);\r
+ }\r
else\r
+ {\r
+ g.setStroke(new BasicStroke());\r
g.setColor(group.getOutlineColour());\r
+ }\r
}\r
}\r
else\r
\r
}\r
\r
- public void fillBackground(Graphics g,Color c, int x1,int y1,int width,int height) {\r
- g.setColor(c);\r
- g.fillRect(x1,y1,width,height);\r
- }\r
\r
public int getChunkWidth() {\r
return chunkWidth;\r