layout my_menu
{
	view menu(id:19001)
	{
		menu(text:'$$$/Prelude/Menu/19001/HistoryPanelMenu/StepBackward=Step Backward', idName:'cmd.history.step.backward');
		menu(text:'$$$/Prelude/Menu/19001/HistoryPanelMenu/StepForward=Step Forward', idName:'cmd.history.step.forward');
		separator();
		menu(text:'$$$/Prelude/Menu/19001/HistoryPanelMenu/Delete=Delete', idName:'cmd.edit.clear');
		menu(text:'$$$/Prelude/Menu/19001/HistoryPanelMenu/ClearHistory=Clear History', idName:'cmd.history.clearhistory');
	}
}
