note
	description: "[
		Widget representing a major port.
		]"
	author: "Jimmy J. Johnson"
	date: "$Date$"
	revision: "$Revision$"

deferred class
	RED_PORT_WIDGET

inherit

	PORT_WIDGET
		redefine
			position_widgets
		end

feature {NONE} -- Initialization

	position_widgets
			-- Move Current and contained widgets to correct
			-- location and set their their sizes
		do
			Precursor {PORT_WIDGET}
			scale_widget (marker, 0.08)
			anchor.scale (0.07)
			anchor.set_x_y (x, y)
		end

end
