.. java:import:: javax.swing BorderFactory

.. java:import:: javax.swing DefaultListModel

.. java:import:: javax.swing JButton

.. java:import:: javax.swing JCheckBox

.. java:import:: javax.swing JFileChooser

.. java:import:: javax.swing JList

.. java:import:: javax.swing JPanel

.. java:import:: javax.swing JScrollPane

.. java:import:: javax.swing JSplitPane

.. java:import:: java.awt Dimension

.. java:import:: java.awt GridBagLayout

.. java:import:: java.awt.event ActionEvent

.. java:import:: java.awt.event ActionListener

.. java:import:: java.io File

.. java:import:: java.util Enumeration

ExtFilesPanel
=============

.. java:package:: fr.inria.tapenade.gui
   :noindex:

.. java:type:: final class ExtFilesPanel extends JPanel

   Tapenade graphical user interface.

Fields
------
EXT
^^^

.. java:field:: protected static final int EXT
   :outertype: ExtFilesPanel

EXTAD
^^^^^

.. java:field:: protected static final int EXTAD
   :outertype: ExtFilesPanel

Constructors
------------
ExtFilesPanel
^^^^^^^^^^^^^

.. java:constructor:: protected ExtFilesPanel(int mode)
   :outertype: ExtFilesPanel

Methods
-------
getFilesList
^^^^^^^^^^^^

.. java:method:: protected JList<File> getFilesList()
   :outertype: ExtFilesPanel

getNoLibCheckBox
^^^^^^^^^^^^^^^^

.. java:method:: protected JCheckBox getNoLibCheckBox()
   :outertype: ExtFilesPanel