indexing

	description:	
		"Command to display the short version of a class.";
	date: "$Date$";
	revision: "$Revision$"

class SHOW_SHORT

inherit

	FILTERABLE
		rename
			create_structured_text as short_context_text
		redefine
			display_temp_header, post_fix
		end

	SHARED_FORMAT_TABLES

create

	make
	
feature -- Properties

	symbol: PIXMAP is 
		once 
			Result := Pixmaps.bm_Showshort 
		end;
 
feature {NONE} -- Properties

	name: STRING is
		do
			Result := Interface_names.f_Showshort
		end;

	menu_name: STRING is
			-- Name used in menu entry
		do
			Result := Interface_names.m_Showshort
		end;

	accelerator: STRING is
			-- Accelerator action for menu entry
		do
		end;

	title_part: STRING is
		do
			Result := Interface_names.t_Short_form_of
		end;

	post_fix: STRING is "sho";

feature {NONE} -- Implementation

	display_temp_header (stone: STONE) is
			-- Display a temporary header during the format processing.
		do
			tool.set_title ("Producing short form...")
		end;

end -- class SHOW_SHORT