$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().