static void LogCodepoint(string code) { if (LogFile.IsLogging()) LogFile.AddErrorLine("Storing definition for Unicode character: " + code); }