EventIDs.h File Reference

This file declares the class EventIDs that contains unique IDs for many events wxMaxima needs. More...

#include <array>
#include <wx/wx.h>
#include <wx/windowid.h>

Include dependency graph for EventIDs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	EventIDs
	The class that contains all event IDs wxMaxima needs. More...

Detailed Description

This file declares the class EventIDs that contains unique IDs for many events wxMaxima needs.

EventIDs have proven to be a weird thing since

• everything has an ID (-1 or wxID_ANY tells wxWidgets to pick a new ID, automatically)
• Windows allows only for 16-bit-IDs
• and since dynamic contents can consist of thousands of items and sub-items at a time it is highly probable that IDs need to be re-used frequently.

We therefore need to be careful that wxWidgets knows what IDs are currently in use and that wxWidgets doesn't believe we have finished using one ID we will re-use lateron.