/// <summary>
///
/// </summary>
public void Dispose()
{
if (!isDisposed)
{
manager = null;
trapper.Dispose();
trapper = null;
isDisposed = true;
GC.SuppressFinalize(this);
}
}
/// <summary>
/// Preferred constructor, initializes a new instance using the given key manager.
/// </summary>
/// <param name="manager">The KeyManager to edit.</param>
public HotKeyEditor(KeyManager manager)
: this()
{
this.manager = manager;
this.manager.IsEnabled = false;
this.map = this.manager.KeyMap;
this.trapper = new KeyTrapper();
this.trapper.KeyPressed += new HotKeyHandler(DoKeyPressed);
this.editor.DataContext = this;
this.editor.SelectedIndex = 0;
}
