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

deferred class
	GREEN_PORT_WIDGET

inherit

	PORT_WIDGET
		redefine
			build_widgets,
			set_fonts_and_colors,
			position_widgets
		end

feature {NONE} -- Initialization

	build_widgets
			-- Set up the widgets in Current.
		do
			Precursor {PORT_WIDGET}
			marker.hide_anchor
			anchor.hide
		end

	set_fonts_and_colors
			-- Set the default fonts for any text widgets and set
			-- the default colors for any contained widgets.
		do
			Precursor {PORT_WIDGET}
			land_color := Green_port_color
		end

	position_widgets
			-- Move Current and contained widgets to correct
			-- location and set their their sizes
		do
			Precursor {PORT_WIDGET}
			scale_widget (marker, 0.06)
		end

end
