ControlPanel¶

class ControlPanel extends JPanel ¶: Tapenade graphical user interface.

Constructors¶

ControlPanel¶

protected ControlPanel()¶

Methods¶

getDifferentiateButton¶

protected JButton getDifferentiateButton()¶

getHtmlCheckBox¶

protected JCheckBox getHtmlCheckBox()¶