This file defines the class History. More...

#include "History.h"
#include <wx/wfstream.h>
#include <wx/xml/xml.h>
#include "../Configuration.h"
#include "../EventIDs.h"
#include "../cells/Cell.h"
#include <algorithm>
#include <memory>
#include <wx/config.h>
#include <wx/filedlg.h>
#include <wx/menu.h>
#include <wx/sizer.h>
#include <wx/txtstrm.h>
#include <wx/wupdlock.h>
#include "../ErrorRedirector.h"

Include dependency graph for History.cpp:

Detailed Description

This file defines the class History.

History is a side bar that shows all recently issued maxima commands.