public void onProfileRenamed(string profile, string newName) { GuiEditorGui.GuiEditor GuiEditor = "GuiEditor"; int item = this.findItemByValue(profile.getID().AsString()); if (item == -1) { return; } string newText = newName + " (" + profile.getID() + ")"; if (GuiEditor.isProfileDirty(profile)) { newText = newText + " *"; } this.editItem(item, newText, profile.getID().AsString()); }