package graphical_editor.manuals is procedure Show_Manual_Widget; end graphical_editor.manuals;