boolean (@NotNull final Editor editor) { final Long timestamp = editor.getUserData(SMART_ENTER_TIMESTAMP); return timestamp != null && editor.getDocument().getModificationStamp() != timestamp.longValue(); }