indexing

	description: "[

		Resize event

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

class EM_RESIZE_EVENT

inherit

	EM_EVENT
		redefine
			make
		end

create

	make

feature {NONE} -- Initialization

	make (a_pointer: POINTER) is
			-- Create a resize event.
		do
			Precursor (a_pointer)
			create sdl_resize_event_struct.make_shared (a_pointer)
		end

feature -- Queries

	-- Todo: Complete queries.

feature {NONE} -- Implementation

	sdl_resize_event_struct: SDL_RESIZE_EVENT_STRUCT
			-- The struct

invariant

	sdl_resize_event_struct_not_void: sdl_resize_event_struct /= Void

end