/*
 * Calls functionController.UpdateHighlightedFunction()
 */
    public void UpdateHighlightedFunction()
    {
        functionController.UpdateHighlightedFunction();
    }