|
wxMaxima
|
This file contains the definition of the class History that handles the recently issued commands for the history pane. More...
#include "precomp.h"#include "RegexCtrl.h"#include <wx/wx.h>#include <wx/regex.h>#include <vector>#include <wx/arrstr.h>Go to the source code of this file.
Data Structures | |
| class | History |
| This class generates a pane containing the last commands that were issued. More... | |
Enumerations | |
| enum | { history_ctrl_id = 1 , history_regex_id , export_all , export_session , export_visible , export_selected , toggle_ShowCurrentSessionOnly , clear_selection , clear_history } |
This file contains the definition of the class History that handles the recently issued commands for the history pane.