public void DrawEditorGUI()

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();
    }