private static void OnTranslationDone(TranslationInfo info)
        {
            Translating = false;

            if (info.Result == "")
            {
                Debug.LogError("No translation result available.");
                return;
            }

            Debug.Log("Translation successful!");

            // Write the result:
            info.WriteToFile();

            // Repaint the Window:
            TranslateWindow.Repaint();
        }
//--------------------------------------