public interface ExportableUserDataHolder extends UserDataHolder
java.util.Map<Key<?>,java.lang.Object>
exportUserData()
getUserData, putUserData
java.util.Map<Key<?>,java.lang.Object> exportUserData()
This is unofficial documentation and not affiliated with Jetbrains s.r.o. at all. We can not guarantee the correctness of this documentation.