virtual ~UserCmdHistory()
Destructor.
Class which manages user commands in the client side.
Definition: UserCmdHistory.hh:37
bool Active() const
Get whether the widget is active or not.
void SetActive(const bool _active)
Set whether the widget is active or not.