/// <summary>
/// Used by the runtime to set the primary panel.
/// </summary>
/// <param name="panel">Primary panel of the widget.</param>
private static void SetPanel(GUIPanel panel)
{
// We can't set this directly through the field because there is an issue with Mono and static fields
GUI.panel = panel;
}
