in unity/Assets/Scripts/StateLoader.cs [191:241]
public void DrawEditorGUI() {
GUILayout.BeginVertical();
GUILayout.BeginHorizontal();
if (GUILayout.Button(" < ", GUILayout.Width(20))) {
PreviousState();
}
if (GUILayout.Button(" > ", GUILayout.Width(20))) {
NextState();
}
if (playing_ = GUILayout.Toggle(playing_, " Play ", GUILayout.Width(50))) {
NextState();
}
GUILayout.Space(10);
int new_frame = (int)GUILayout.HorizontalSlider(current_frame_, 0.0f,
states_.Count == 0 ? 0 : states_.Count - 1,
GUILayout.ExpandWidth(true));
if (new_frame != current_frame_) {
current_frame_ = new_frame;
UpdateState(states_[current_frame_]);
}
GUIStyle style = new GUIStyle(GUI.skin.label);
style.alignment = TextAnchor.UpperRight;
GUILayout.Label(string.Format(" {0} / {1} ", current_frame_, states_.Count), style, GUILayout.Width(80));
GUILayout.EndHorizontal();
if (footage_.Count > 1) {
RendererComponent.GUIHorizontalLine(1);
GUILayout.BeginHorizontal();
int button_size = Mathf.Min(100, 380 / (footage_.Count + 1));
if (GUILayout.Button("Clear", GUILayout.Width(button_size), GUILayout.Height(button_size))) {
reference_image_texture_ = null;
}
GUILayout.FlexibleSpace();
foreach (KeyValuePair<string, Texture2D[]> streams in footage_) {
if (streams.Value != null && streams.Value.Length > current_frame_) {
if (GUILayout.Button(streams.Value[current_frame_], GUILayout.Width(button_size),
GUILayout.Height(button_size))) {
reference_image_texture_ = streams.Value[current_frame_];
}
GUILayout.FlexibleSpace();
}
}
GUILayout.FlexibleSpace();
GUILayout.EndHorizontal();
RendererComponent.GUISlider("overlay_alpha_", ref reference_overlay_alpha_, 0.0f, 1.0f);
RendererComponent.GUIHorizontalLine(1);
}
GUILayout.EndVertical();
}