/// <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; }