$darkmode
DENOPTIM
|
A panel that allows to print the content of a text file into a GUI tab. More...
Public Member Functions | |
GUITextReader (GUIMainPanel mainPanel) | |
Constructor. More... | |
void | displayContent (File file) |
Print the content of the given file in this tab's pane. More... | |
Public Member Functions inherited from denoptim.gui.GUICardPanel | |
GUICardPanel (GUIMainPanel mainPanel, String newPanelName) | |
Constructor for JPanel meant to be a single "card" in the deck of cards. More... | |
boolean | hasUnsavedChanges () |
Check for unsaved changes in the components included in this card. More... | |
Static Public Attributes | |
static AtomicInteger | texReaderTabUID = new AtomicInteger(1) |
Unique identified for instances of this handler. More... | |
Private Member Functions | |
void | initialize () |
Initialize the panel and add buttons. More... | |
void | setSourceTitle (String string) |
Private Attributes | |
JTextPane | txtPane |
TitledBorder | border |
Static Private Attributes | |
static final long | serialVersionUID = 1L |
Version UID. More... | |
Additional Inherited Members | |
Protected Attributes inherited from denoptim.gui.GUICardPanel | |
GUIMainPanel | mainPanel |
The main panel (cards deck) More... | |
A panel that allows to print the content of a text file into a GUI tab.
Definition at line 44 of file GUITextReader.java.
denoptim.gui.GUITextReader.GUITextReader | ( | GUIMainPanel | mainPanel | ) |
Constructor.
Definition at line 65 of file GUITextReader.java.
References denoptim.gui.GUITextReader.initialize(), denoptim.gui.GUICardPanel.mainPanel, and denoptim.gui.GUITextReader.texReaderTabUID.
void denoptim.gui.GUITextReader.displayContent | ( | File | file | ) |
Print the content of the given file in this tab's pane.
file | the file to be read |
Definition at line 109 of file GUITextReader.java.
References denoptim.io.DenoptimIO.readText(), denoptim.gui.GUITextReader.setSourceTitle(), and denoptim.gui.GUITextReader.txtPane.
Referenced by denoptim.gui.MainToolBar.openFile().
|
private |
Initialize the panel and add buttons.
Definition at line 78 of file GUITextReader.java.
References denoptim.gui.ButtonsBar.add(), denoptim.gui.GUITextReader.border, and denoptim.gui.GUITextReader.txtPane.
Referenced by denoptim.gui.GUITextReader.GUITextReader().
|
private |
Definition at line 136 of file GUITextReader.java.
References denoptim.gui.GUITextReader.border.
Referenced by denoptim.gui.GUITextReader.displayContent().
|
private |
Definition at line 57 of file GUITextReader.java.
Referenced by denoptim.gui.GUITextReader.initialize(), and denoptim.gui.GUITextReader.setSourceTitle().
|
staticprivate |
Version UID.
Definition at line 49 of file GUITextReader.java.
|
static |
Unique identified for instances of this handler.
Definition at line 54 of file GUITextReader.java.
Referenced by denoptim.gui.GUITextReader.GUITextReader().
|
private |
Definition at line 56 of file GUITextReader.java.
Referenced by denoptim.gui.GUITextReader.displayContent(), and denoptim.gui.GUITextReader.initialize().