![]() |
wxMaxima
|
#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.
Classes | |
| class | History |
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.
1.8.17