package graphical_editor.priorities_dm is

	procedure Show_Priorities_Dm_Widget;

end graphical_editor.priorities_dm;