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.