protected override void DisposeUnmanagedResources() { this.Highlighter.Dispose(); this.PickableRenderer.Dispose(); }