private class SendFeedbackAction.OpenProofItem extends SendFeedbackAction.SendFeedbackFileItem
fileName
displayName
Constructor and Description |
---|
OpenProofItem() |
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
isEnabled() |
(package private) byte[] |
retrieveFileData() |
appendDataToZipOutputStream
actionPerformed, isSelected
byte[] retrieveFileData() throws java.io.IOException
retrieveFileData
in class SendFeedbackAction.SendFeedbackFileItem
java.io.IOException
boolean isEnabled()
isEnabled
in class SendFeedbackAction.SendFeedbackItem