public interface EditReadOnlyListener extends java.util.EventListener
void
readOnlyModificationAttempt(Document document)
void readOnlyModificationAttempt(Document document)
This is unofficial documentation and not affiliated with Jetbrains s.r.o. at all. We can not guarantee the correctness of this documentation.