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