/// <summary>
/// Returns the resolver.
/// There can only be one resolver at any given time.
/// All calls to this function returns the same resolver.
/// </summary>
/// <returns>The current reference resolver.</returns>
public static ReferenceResolver GetResolver()
{
if (resolver == null)
{
resolver = new ReferenceResolver();
}
return(resolver);
}
/// <summary>
/// Constructs the main form and initializes the GUI.
/// The relevant helper classes are initiated.
/// </summary>
public MainForm()
{
InitializeComponent();
fm = new FileManager();
hm = new HistoryManager();
resolver = ReferenceResolver.GetResolver();
InitializeGUI();
}