.. java:import:: javax.swing JButton .. java:import:: javax.swing JCheckBox .. java:import:: javax.swing JPanel .. java:import:: java.awt FlowLayout ControlPanel ============ .. java:package:: fr.inria.tapenade.gui :noindex: .. java:type:: class ControlPanel extends JPanel Tapenade graphical user interface. Constructors ------------ ControlPanel ^^^^^^^^^^^^ .. java:constructor:: protected ControlPanel() :outertype: ControlPanel Methods ------- getDifferentiateButton ^^^^^^^^^^^^^^^^^^^^^^ .. java:method:: protected JButton getDifferentiateButton() :outertype: ControlPanel getHtmlCheckBox ^^^^^^^^^^^^^^^ .. java:method:: protected JCheckBox getHtmlCheckBox() :outertype: ControlPanel