void (@Nullable Document document, @NotNull String propertyName, Object oldValue, Object newValue) { EncodingManagerListener publisher = ApplicationManager.getApplication().getMessageBus() .syncPublisher(EncodingManagerListener.ENCODING_MANAGER_CHANGES); publisher.propertyChanged(document, propertyName, oldValue, newValue); }