Result (final char charTyped, @NotNull final Project project, @NotNull final Editor editor, @NotNull final PsiFile file) { if (editor.getUserData(REPL_KEY) != null){ return Result.DEFAULT; } return Result.CONTINUE; }