if (activeEditor_ != null
&& activeEditor_ instanceof TextEditingTarget
&& commands_.executeCode().isEnabled())
{
TextEditingTarget textEditor = (TextEditingTarget) activeEditor_;
textEditor.insertCode(event.getCode(), event.isBlock());
}
else
{
newDoc(FileTypeRegistry.R,
new ResultCallback<EditingTarget, ServerError>()