This file defines the class EventIDs that contains unique IDs for many events wxMaxima needs.
More...
#include "EventIDs.h"
#include <wx/utils.h>
#include <wx/window.h>
This file defines the class EventIDs that contains unique IDs for many events wxMaxima needs.