class
	EL_PIXMAP_IMP_WIDGET

inherit
	EV_PIXMAP_IMP_WIDGET
		redefine
			interface
		end

	EL_PIXMAP_I
		undefine
			flush,
			save_to_named_path,
			on_orphaned,
			on_parented,
			set_pebble,
			set_actual_drop_target_agent,
			set_pebble_function,
			draw_straight_line,
			disable_initialized
		redefine
			interface
		end

create
	make_with_simple, make_with_drawable

feature {NONE} -- Initialization

	make_scaled_to_size (dimension: NATURAL_8; other: EV_PIXMAP; size: INTEGER)
		do
		end

	init_from_buffer (drawing: CAIRO_DRAWING_AREA)
			-- Initialize from `drawing'
		do
		end

feature {EV_ANY, EV_ANY_I} -- Internal attributes

	interface: EL_PIXMAP
		note
			option: stable
		attribute
		end

end -- class EL_PIXMAP_IMP_WIDGET