#ifndef __editorsettingsterminal__
#define __editorsettingsterminal__

/**
@file
Subclass of EditorSettingsTerminalBase, which is generated by wxFormBuilder.
*/

#include "editorsettings_terminal_base.h"
#include "treebooknodebase.h"

/** Implementing EditorSettingsTerminalBase */
class EditorSettingsTerminal : public EditorSettingsTerminalBase, public TreeBookNode<EditorSettingsTerminal>
{
public:
	/** Constructor */
	EditorSettingsTerminal( wxWindow* parent );
	void Save(OptionsConfigPtr options);

};

#endif // __editorsettingsterminal__
