![]() |
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.
1.8.17