if (av.getSelectionGroup() != null)\r
{\r
av.getSelectionGroup().addOrRemove(found, true);\r
+ av.getSelectionGroup().setEndRes(av.alignment.getWidth()-1);\r
PaintRefresher.Refresh(this, av.alignment);\r
}\r
else\r
{\r
av.setSelectionGroup(new SequenceGroup());\r
av.getSelectionGroup().addOrRemove(found, true);\r
- av.getSelectionGroup().setEndRes(av.alignment.getWidth());\r
+ av.getSelectionGroup().setEndRes(av.alignment.getWidth()-1);\r
\r
}\r
}\r