wxMaxima
|
This class generates a pane containing the last commands that were issued. More...
#include <History.h>
Public Member Functions | |
History (wxWindow *parent, int id, Configuration *cfg) | |
~History () | |
The destructor. | |
void | AddToHistory (const wxString &cmd) |
Add a file to the recently opened files list. | |
void | OnRegExEvent (wxCommandEvent &ev) |
Called if the filter text or method changes. | |
void | RebuildDisplay () |
Apply all filters and refresh the display. | |
wxString | GetCommand (bool next) |
Get the currently selected command and advance the selection. | |
void | MaximaSessionStart () |
Is called when a new maxima session starts. | |
bool | UpdateDeferred () |
Actually update the history sidebar. Called when no other work is to be done. | |
void | SetSavePlace (const wxString &saveplace) |
Where to save the history? | |
This class generates a pane containing the last commands that were issued.
wxString History::GetCommand | ( | bool | next | ) |
Get the currently selected command and advance the selection.
next |
|