private void SubmitInput()
        {
            string value = input.Text;

            if (value != "")
            {
                GUIController.LogOutput(value, prefix: "User: "******"";
        }
        public void RunTestsButton_Clicked(object sender, EventArgs e)
        {
            GUIController.LogOutput("Running tests");

            TestController.RunAllTests();
        }