|
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 |
|