class EL_WIDGET_REPLACEMENT

(source code)

Client examples: PANGO_CAIRO_TEST_MAIN_WINDOW

note
	description: "[
		Routine to replace object conforming to ${EV_WIDGET} in it's parent container.
	]"
	notes: "[
		For multiple widget types use auxilary classes ${EL_WIDGET_2_REPLACEMENT} and ${EL_WIDGET_3_REPLACEMENT}.
	]"

	author: "Finnian Reilly"
	copyright: "Copyright (c) 2001-2022 Finnian Reilly"
	contact: "finnian at eiffel hyphen loop dot com"

	license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
	date: "2024-11-11 9:45:39 GMT (Monday 11th November 2024)"
	revision: "13"

deferred class
	EL_WIDGET_REPLACEMENT [G -> EV_WIDGET]

inherit
	EL_MODULE_WIDGET

feature {NONE} -- Implementation

	replaced (existing_widget, new_widget: G): G
		do
			Widget.replace (existing_widget, new_widget)
			Result := new_widget
		end

	replace_list (widget_list, new_widgets_list: INDEXABLE [G, INTEGER])
		do
			Widget.replace_list (widget_list, new_widgets_list)
		end

end