ExtFilesPanel¶

final class ExtFilesPanel extends JPanel ¶: Tapenade graphical user interface.

Fields¶

EXT¶

protected static final int EXT¶

EXTAD¶

protected static final int EXTAD¶

Constructors¶

ExtFilesPanel¶

protected ExtFilesPanel(int mode)¶

Methods¶

getFilesList¶

protected JList<File> getFilesList()¶

getNoLibCheckBox¶

protected JCheckBox getNoLibCheckBox()¶