gg.setColor(Color.black);\r
}\r
\r
- String string = s.getName();\r
- if (av.getShowFullId())\r
- {\r
- string = s.getDisplayId();\r
- }\r
+ String string = s.getDisplayId(av.getShowDBPrefix(), av.getShowJVSuffix());\r
\r
gg.drawString(string, 0,\r
((i - starty) * charHeight) + ypos +\r
gg.setFont(av.getFont());\r
}\r
\r
+ if(!jalview.bin.JalviewLite.AWT1)\r
+ {\r
+ MyGraphics.AntiAlias(gg);\r
+ }\r
+\r
+\r
//Fill in the background\r
gg.setColor(Color.white);\r
Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
av.charHeight);\r
\r
gg.setColor(currentTextColor);\r
- String string = av.alignment.getSequenceAt(i).getName();\r
- if (av.getShowFullId())\r
- {\r
- string = av.alignment.getSequenceAt(i).getDisplayId();\r
- }\r
+ String string = av.alignment.getSequenceAt(i)\r
+ .getDisplayId(av.getShowDBPrefix(), av.getShowJVSuffix());\r
+\r
gg.drawString(string, 0,\r
((i - starty) * av.charHeight) +\r
av.charHeight - (av.charHeight / 5));\r