/// <summary>
/// Releases unmanaged and - optionally - managed resources
/// </summary>
/// <param name="disposing">
/// <c>true</c> to release both managed and unmanaged resources; <c>false</c> to release
/// only unmanaged resources.
/// </param>
protected override void Dispose(bool disposing)
{
base.Dispose(disposing);
// Dispose of any event listeners.
BuildProgressEventListener?.Dispose();
DocumentEventListener?.Dispose();
RunningDocumentTableEventListener?.Dispose();
ShellEventListener?.Dispose();
SolutionEventListener?.Dispose();
TextEditorEventListener?.Dispose();
WindowEventListener?.Dispose();
}
/// <summary>
/// Releases unmanaged and - optionally - managed resources
/// </summary>
/// <param name="disposing">
/// <c>true</c> to release both managed and unmanaged resources; <c>false</c> to release
/// only unmanaged resources.
/// </param>
protected override void Dispose(bool disposing)
{
base.Dispose(disposing);
if (RunningDocumentTableEventListener != null)
{
RunningDocumentTableEventListener.Dispose();
}
if (ShellEventListener != null)
{
ShellEventListener.Dispose();
}
}
/// <summary>
/// Releases unmanaged and - optionally - managed resources
/// </summary>
/// <param name="disposing">
/// <c>true</c> to release both managed and unmanaged resources; <c>false</c> to release
/// only unmanaged resources.
/// </param>
protected override void Dispose(bool disposing)
{
base.Dispose(disposing);
// Dispose of any event listeners.
if (BuildProgressEventListener != null)
{
BuildProgressEventListener.Dispose();
}
if (DocumentEventListener != null)
{
DocumentEventListener.Dispose();
}
if (RunningDocumentTableEventListener != null)
{
RunningDocumentTableEventListener.Dispose();
}
if (ShellEventListener != null)
{
ShellEventListener.Dispose();
}
if (SolutionEventListener != null)
{
SolutionEventListener.Dispose();
}
if (TextEditorEventListener != null)
{
TextEditorEventListener.Dispose();
}
if (WindowEventListener != null)
{
WindowEventListener.Dispose();
}
}
/// <summary>
/// Registers the shell event listener.
/// </summary>
/// <remarks>
/// This event listener is registered by itself and first to wait for the shell to be ready
/// for other event listeners to be registered.
/// </remarks>
private void RegisterShellEventListener()
{
ShellEventListener = new ShellEventListener(this, ShellService);
ShellEventListener.EnvironmentColorChanged += () => ThemeManager.ApplyTheme();
ShellEventListener.ShellAvailable += RegisterNonShellEventListeners;
}
/// <summary>
/// Registers the shell event listener.
/// </summary>
/// <remarks>
/// This event listener is registered by itself and first to wait for the shell to be ready
/// for other event listeners to be registered.
/// </remarks>
private void RegisterShellEventListener()
{
ShellEventListener = new ShellEventListener(this, ShellService);
ShellEventListener.ShellAvailable += RegisterNonShellEventListeners;
}
/// <summary>
/// Registers the shell event listener.
/// </summary>
/// <remarks>
/// This event listener is registered by itself and first to wait for the shell to be ready
/// for other event listeners to be registered.
/// </remarks>
private void RegisterShellEventListener()
{
ShellEventListener = new ShellEventListener(this, ShellService);
ShellEventListener.ShellAvailable += RegisterNonShellEventListeners;
}
