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