indexing

	description: "[

		Window manager event

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_WINDOWMANAGER_EVENT

inherit

	EM_EVENT
		redefine
			make
		end

create

	make

feature {NONE} -- Initialization

	make (a_pointer: POINTER) is
			-- Create a window manager event.
		do
			Precursor (a_pointer)
			create sdl_windowmanager_event_struct.make_shared (a_pointer)
		end

feature -- Queries

	-- Todo: Complete queries.

feature {NONE} -- Implementation

	sdl_windowmanager_event_struct: SDL_SYS_WMEVENT_STRUCT
			-- The struct

invariant

	sdl_windowmanager_event_struct_not_void: sdl_windowmanager_event_struct /= Void

end