![]() |
wxMaxima
|
#include <History.h>
Public Member Functions | |
History (wxWindow *parent, int id) | |
void | AddToHistory (const wxString &cmd) |
Add a file to the recently opened files list. | |
void | OnRegExEvent (wxCommandEvent &ev) |
void | RebuildDisplay () |
wxString | GetCommand (bool next) |
void | MaximaSessionStart () |
bool | UpdateDeferred () |
Actually update the history sidebar. Called when no other work is to be done. | |
This class generates a pane containing the last commands that were issued.