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