void (char c, Editor editor, PsiFile file) { if (!myWhitespaceAdded || c != ' ' || !JsonEditorOptions.getInstance().AUTO_WHITESPACE_AFTER_COLON) { if (c != ':') { myWhitespaceAdded = false; } return; } int offset = editor.getCaretModel().getOffset(); PsiDocumentManager.getInstance(file.getProject()).commitDocument(editor.getDocument()); final PsiElement element = file.findElementAt(offset); if (element instanceof PsiWhiteSpace) { editor.getDocument().deleteString(offset - 1, offset); } myWhitespaceAdded = false; }