pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using Tango.MachineStudio.Common;
using Tango.SharedUI;

namespace Tango.MachineStudio.UI.SupervisingController
{
    /// <summary>
    /// Represents a supervising controller pattern view contract.
    /// </summary>
    /// <seealso cref="Tango.SharedUI.IView" />
    public interface IMainView : IView
    {
        ///// <summary>
        ///// Navigates to the specified studio module.
        ///// </summary>
        ///// <param name="module">The module.</param>
        //void NavigateToModule(IStudioModule module);
    }
}