SendCodePointerCommand command =
Pico.getCommandManager().getCommand(SendCodePointerCommand.class, BaseAction.getContainer(editor.getProject()));
command.setCodePointer(codePointer);
command.setVFile(vFile);
command.setUser(user);
command.execute();
}
protected boolean shouldAddUserToChoiceList(User user) {
return true;
}