void rightPanel() { GUI.BeginGroup(new Rect(Screen.width * 3 / 4 + 5, 0, Screen.width * 1 / 4 - 5, Screen.height)); if (GUI.Button(new Rect(10, 15, 130, 65), "Back", button_style)) { input.SetCode(current_code); enabled = false; previous_state.active = true; paused = true; } GUI.EndGroup(); }
void removeScript() { shouldRemove = false; current_code = ""; input.SetCode(current_code); enabled = false; previous_state.active = true; paused = true; Time.timeScale = 1; ProgramLogger.LogKVtime("delete", "all"); ProgramLogger.LogKVtime("close", getSpellName()); //+", "+Time.time); ProgramLogger.LogCode(getSpellName(), current_code); SpellLogger.Log("delete: " + getSpellName()); if (IDEClosed != null) { IDEClosed(file_name, current_code); } }