void DisplayProgramMarkup()
{
scrollPosition = GUILayout.BeginScrollView (scrollPosition, false, false);
inspectorStyle = GUI.skin.box;
inspectorStyle.wordWrap = true;
inspectorStyle.alignment = TextAnchor.MiddleLeft;
GUILayout.BeginVertical (inspectorStyle);
GUILayout.Label ("LEX");
GUILayout.BeginHorizontal (inspectorStyle);
GUILayout.Label ("Pred");
GUILayout.Box (mlPred, GUILayout.Width (inspectorWidth-100));
GUILayout.EndHorizontal ();
GUILayout.BeginVertical (inspectorStyle);
GUILayout.BeginHorizontal ();
GUILayout.Label ("Type");
GUILayout.BeginVertical ();
for (int i = 0; i < mlTypeCount; i++) {
GUILayout.BeginHorizontal ();
GUILayout.Box (mlTypes [i], GUILayout.Width (inspectorWidth - 130), GUILayout.ExpandWidth (true));
GUILayout.EndHorizontal ();
}
GUILayout.EndVertical ();
GUILayout.EndHorizontal ();
GUILayout.EndVertical ();
GUILayout.EndVertical ();
GUILayout.BeginVertical (inspectorStyle);
GUILayout.Label ("TYPE");
GUILayout.BeginHorizontal (inspectorStyle);
GUILayout.Label ("Head");
GUILayout.Box (mlHead, GUILayout.Width (inspectorWidth-130), GUILayout.ExpandWidth (true));
GUILayout.EndHorizontal ();
GUILayout.BeginVertical (inspectorStyle);
GUILayout.BeginHorizontal ();
GUILayout.Label ("Args");
GUILayout.EndHorizontal ();
GUILayout.BeginVertical (inspectorStyle);
for (int i = 0; i < mlArgCount; i++) {
GUILayout.Box (mlArgs [i], GUILayout.Width (inspectorWidth - 85));
}
GUILayout.EndVertical ();
GUILayout.EndVertical ();
GUILayout.BeginVertical (inspectorStyle);
GUILayout.BeginHorizontal ();
GUILayout.Label ("Body");
GUILayout.EndHorizontal ();
GUILayout.BeginVertical (inspectorStyle);
for (int i = 0; i < mlSubeventCount; i++) {
GUILayout.Box (mlSubevents [i], GUILayout.Width (inspectorWidth - 85));
}
GUILayout.EndVertical ();
GUILayout.EndVertical ();
GUILayout.EndVertical ();
GUILayout.EndScrollView ();
}