// void leftPanel() // { // GUI.DrawTexture(editorPanel.getRect(),left_panel_background); // //GUI.DrawTexture(new Rect(0,0,Screen.width*3/4,Screen.height),left_panel_background); // GUILayout.BeginArea(new Rect(120,40,Screen.width*3/4,Screen.height)); // // scroll_position = GUILayout.BeginScrollView (scroll_position, GUILayout.Width(Screen.width*3/4-200), GUILayout.Height(Screen.height-60 )); // Should vary the size of the last rect by how much text we have?? // foreach (Tuple<Rect, Texture2D> tup in (new Highlight()).highlightPage(current_code)) { // GUI.DrawTexture(tup.Item1, tup.Item2); // } // foreach (Tuple<Rect, Texture2D> tup in (new Highlight()).highlightErrors(current_code, error_lines)) { // GUI.DrawTexture(tup.Item1, tup.Item2); // } // showCode(); // GUILayout.EndScrollView (); // GUILayout.EndArea(); // } public void showHighlightedCode() { GUILayout.BeginArea(editorPanel.getTextAreaRect()); scroll_position = GUILayout.BeginScrollView(scroll_position, GUILayout.Width(editorPanel.getScrollWidth()), GUILayout.Height(editorPanel.getScrollHeight())); // Should vary the size of the last rect by how much text we have?? foreach (Tuple <Rect, Texture2D> tup in (new Highlight()).highlightPage(current_code)) { GUI.DrawTexture(tup.Item1, tup.Item2); } foreach (Tuple <Rect, Texture2D> tup in (new Highlight()).highlightErrors(current_code, error_lines)) { GUI.DrawTexture(tup.Item1, tup.Item2); } showCode(); GUILayout.EndScrollView(); GUILayout.EndArea(); }