activitybarPart.ts 19.0 KB
Newer Older
E
Erich Gamma 已提交
1 2 3 4 5 6 7
/*---------------------------------------------------------------------------------------------
 *  Copyright (c) Microsoft Corporation. All rights reserved.
 *  Licensed under the MIT License. See License.txt in the project root for license information.
 *--------------------------------------------------------------------------------------------*/

'use strict';

B
Benjamin Pasero 已提交
8
import 'vs/css!./media/activitybarpart';
9
import nls = require('vs/nls');
10 11 12
import { TPromise } from 'vs/base/common/winjs.base';
import DOM = require('vs/base/browser/dom');
import * as arrays from 'vs/base/common/arrays';
J
Johannes Rieken 已提交
13
import { illegalArgument } from 'vs/base/common/errors';
14
import { Builder, $, Dimension } from 'vs/base/browser/builder';
J
Johannes Rieken 已提交
15
import { Action } from 'vs/base/common/actions';
16
import { ActionsOrientation, ActionBar, IActionItem, Separator } from 'vs/base/browser/ui/actionbar/actionbar';
17
import { ViewletDescriptor } from 'vs/workbench/browser/viewlet';
18 19
import { IActivity, Extensions as ActivityExtensions, IActivityRegistry } from 'vs/workbench/browser/activity';
import { Registry } from 'vs/platform/platform';
J
Johannes Rieken 已提交
20
import { Part } from 'vs/workbench/browser/part';
21
import { IViewlet } from 'vs/workbench/common/viewlet';
22
import { ToggleViewletPinnedAction, ViewletActivityAction, ActivityAction, ViewletActionItem, ViewletOverflowActivityAction, ViewletOverflowActivityActionItem } from 'vs/workbench/browser/parts/activitybar/activitybarActions';
B
Benjamin Pasero 已提交
23
import { IViewletService } from 'vs/workbench/services/viewlet/browser/viewlet';
24
import { IActivityBarService, IBadge } from 'vs/workbench/services/activity/common/activityBarService';
25
import { IPartService, Position as SideBarPosition } from 'vs/workbench/services/part/common/partService';
J
Johannes Rieken 已提交
26
import { IInstantiationService } from 'vs/platform/instantiation/common/instantiation';
27
import { IExtensionService } from 'vs/platform/extensions/common/extensions';
28 29 30 31
import { IStorageService } from 'vs/platform/storage/common/storage';
import { Scope as MementoScope } from 'vs/workbench/common/memento';
import { IContextMenuService } from 'vs/platform/contextview/browser/contextView';
import { StandardMouseEvent } from 'vs/base/browser/mouseEvent';
32
import { dispose, IDisposable } from 'vs/base/common/lifecycle';
33
import { ToggleActivityBarVisibilityAction } from 'vs/workbench/browser/actions/toggleActivityBarVisibility';
34
import { IThemeService } from 'vs/platform/theme/common/themeService';
35
import { ACTIVITY_BAR_BACKGROUND, ACTIVITY_BAR_BORDER } from 'vs/workbench/common/theme';
36
import { contrastBorder } from 'vs/platform/theme/common/colorRegistry';
E
Erich Gamma 已提交
37

38 39 40 41 42
interface IViewletActivity {
	badge: IBadge;
	clazz: string;
}

43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
class GlobalActivityAction extends ActivityAction {

	constructor(activity: IActivity) {
		super(activity);
	}
}

class GlobalActivityActionItem extends ViewletActionItem {

	onClick(event: Event): void {
		DOM.EventHelper.stop(event, true);
		// fire up native menu around this.builder.getHTMLElement()
	}
}

58
export class ActivitybarPart extends Part implements IActivityBarService {
59

60
	private static readonly ACTIVITY_ACTION_HEIGHT = 50;
61
	private static readonly PINNED_VIEWLETS = 'workbench.activity.pinnedViewlets';
62

63
	public _serviceBrand: any;
P
Pine Wu 已提交
64

65 66
	private dimension: Dimension;

I
isidor 已提交
67
	private viewletSwitcherBar: ActionBar;
68
	private activityActionBar: ActionBar;
69 70 71
	private viewletOverflowAction: ViewletOverflowActivityAction;
	private viewletOverflowActionItem: ViewletOverflowActivityActionItem;

72
	private viewletIdToActions: { [viewletId: string]: ActivityAction; };
B
Benjamin Pasero 已提交
73
	private viewletIdToActionItems: { [viewletId: string]: IActionItem; };
74
	private viewletIdToActivityStack: { [viewletId: string]: IViewletActivity[]; };
E
Erich Gamma 已提交
75

76
	private memento: any;
77
	private pinnedViewlets: string[];
78 79
	private activeUnpinnedViewlet: ViewletDescriptor;

E
Erich Gamma 已提交
80
	constructor(
81 82
		id: string,
		@IViewletService private viewletService: IViewletService,
83
		@IExtensionService private extensionService: IExtensionService,
84 85
		@IStorageService private storageService: IStorageService,
		@IContextMenuService private contextMenuService: IContextMenuService,
I
isidor 已提交
86
		@IInstantiationService private instantiationService: IInstantiationService,
B
Benjamin Pasero 已提交
87 88
		@IPartService private partService: IPartService,
		@IThemeService themeService: IThemeService
E
Erich Gamma 已提交
89
	) {
B
Benjamin Pasero 已提交
90
		super(id, { hasTitle: false }, themeService);
E
Erich Gamma 已提交
91

B
Benjamin Pasero 已提交
92
		this.viewletIdToActionItems = Object.create(null);
93
		this.viewletIdToActions = Object.create(null);
94
		this.viewletIdToActivityStack = Object.create(null);
E
Erich Gamma 已提交
95

96
		this.memento = this.getMemento(this.storageService, MementoScope.GLOBAL);
J
Joao Moreno 已提交
97 98 99 100 101

		const pinnedViewlets = this.memento[ActivitybarPart.PINNED_VIEWLETS] as string[];

		if (pinnedViewlets) {
			this.pinnedViewlets = pinnedViewlets
J
Joao Moreno 已提交
102 103
				// TODO@Ben: Migrate git => scm viewlet
				.map(id => id === 'workbench.view.git' ? 'workbench.view.scm' : id)
J
Joao Moreno 已提交
104 105 106 107 108
				.filter(arrays.uniqueFilter<string>(str => str));

		} else {
			this.pinnedViewlets = this.viewletService.getViewlets().map(v => v.id);
		}
109

E
Erich Gamma 已提交
110 111 112 113 114 115
		this.registerListeners();
	}

	private registerListeners(): void {

		// Activate viewlet action on opening of a viewlet
116
		this.toUnbind.push(this.viewletService.onDidViewletOpen(viewlet => this.onDidViewletOpen(viewlet)));
E
Erich Gamma 已提交
117 118

		// Deactivate viewlet action on close
119
		this.toUnbind.push(this.viewletService.onDidViewletClose(viewlet => this.onDidViewletClose(viewlet)));
P
Pine Wu 已提交
120 121
	}

122 123 124 125 126 127 128 129 130 131 132
	private onDidViewletOpen(viewlet: IViewlet): void {
		const id = viewlet.getId();

		if (this.viewletIdToActions[id]) {
			this.viewletIdToActions[id].activate();
		}

		const activeUnpinnedViewletShouldClose = this.activeUnpinnedViewlet && this.activeUnpinnedViewlet.id !== viewlet.getId();
		const activeUnpinnedViewletShouldShow = !this.getPinnedViewlets().some(v => v.id === viewlet.getId());
		if (activeUnpinnedViewletShouldShow || activeUnpinnedViewletShouldClose) {
			this.updateViewletSwitcher();
E
Erich Gamma 已提交
133 134 135
		}
	}

136 137 138 139 140
	private onDidViewletClose(viewlet: IViewlet): void {
		const id = viewlet.getId();

		if (this.viewletIdToActions[id]) {
			this.viewletIdToActions[id].deactivate();
E
Erich Gamma 已提交
141 142 143
		}
	}

144
	public showActivity(viewletId: string, badge: IBadge, clazz?: string): IDisposable {
J
Johannes Rieken 已提交
145 146 147
		if (!badge) {
			throw illegalArgument('badge');
		}
148

149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174
		const activity = <IViewletActivity>{ badge, clazz };
		const stack = this.viewletIdToActivityStack[viewletId] || (this.viewletIdToActivityStack[viewletId] = []);
		stack.unshift(activity);

		this.updateActivity(viewletId);

		return {
			dispose: () => {
				const stack = this.viewletIdToActivityStack[viewletId];
				if (!stack) {
					return;
				}
				const idx = stack.indexOf(activity);
				if (idx < 0) {
					return;
				}
				stack.splice(idx, 1);
				if (stack.length === 0) {
					delete this.viewletIdToActivityStack[viewletId];
				}
				this.updateActivity(viewletId);
			}
		};
	}

	private updateActivity(viewletId: string) {
175
		const action = this.viewletIdToActions[viewletId];
176 177 178 179 180 181 182 183 184 185
		if (!action) {
			return;
		}
		const stack = this.viewletIdToActivityStack[viewletId];
		if (!stack || !stack.length) {
			// reset
			action.setBadge(undefined);

		} else {
			// update
186
			const [{ badge, clazz }] = stack;
E
Erich Gamma 已提交
187 188 189 190 191 192 193 194
			action.setBadge(badge);
			if (clazz) {
				action.class = clazz;
			}
		}
	}

	public createContentArea(parent: Builder): Builder {
195 196
		const $el = $(parent);
		const $result = $('.content').appendTo($el);
E
Erich Gamma 已提交
197 198

		// Top Actionbar with action items for each viewlet action
P
Pine Wu 已提交
199
		this.createViewletSwitcher($result.clone());
E
Erich Gamma 已提交
200

201 202 203
		// Top Actionbar with action items for each viewlet action
		this.createActivityActionBar($result.getHTMLElement());

204 205 206 207 208 209 210
		// Contextmenu for viewlets
		$(parent).on('contextmenu', (e: MouseEvent) => {
			DOM.EventHelper.stop(e, true);

			this.showContextMenu(e);
		}, this.toUnbind);

B
Benjamin Pasero 已提交
211 212
		// Allow to drop at the end to move viewlet to the end
		$(parent).on(DOM.EventType.DROP, (e: DragEvent) => {
213
			const draggedViewlet = ViewletActionItem.getDraggedViewlet();
B
Benjamin Pasero 已提交
214 215 216
			if (draggedViewlet) {
				DOM.EventHelper.stop(e, true);

217
				ViewletActionItem.clearDraggedViewlet();
B
Benjamin Pasero 已提交
218 219 220 221 222 223 224 225

				const targetId = this.pinnedViewlets[this.pinnedViewlets.length - 1];
				if (targetId !== draggedViewlet.id) {
					this.move(draggedViewlet.id, this.pinnedViewlets[this.pinnedViewlets.length - 1]);
				}
			}
		});

E
Erich Gamma 已提交
226 227 228
		return $result;
	}

229 230 231 232 233
	public updateStyles(): void {
		super.updateStyles();

		// Part container
		const container = this.getContainer();
234 235
		const background = this.getColor(ACTIVITY_BAR_BACKGROUND);
		container.style('background-color', background);
236

237
		const borderColor = this.getColor(ACTIVITY_BAR_BORDER) || this.getColor(contrastBorder);
238
		const isPositionLeft = this.partService.getSideBarPosition() === SideBarPosition.LEFT;
239 240 241 242 243 244 245
		container.style('box-sizing', borderColor && isPositionLeft ? 'border-box' : null);
		container.style('border-right-width', borderColor && isPositionLeft ? '1px' : null);
		container.style('border-right-style', borderColor && isPositionLeft ? 'solid' : null);
		container.style('border-right-color', isPositionLeft ? borderColor : null);
		container.style('border-left-width', borderColor && !isPositionLeft ? '1px' : null);
		container.style('border-left-style', borderColor && !isPositionLeft ? 'solid' : null);
		container.style('border-left-color', !isPositionLeft ? borderColor : null);
246 247
	}

248 249 250 251 252 253 254 255 256 257 258 259 260 261
	private showContextMenu(e: MouseEvent): void {
		const event = new StandardMouseEvent(e);

		const actions: Action[] = this.viewletService.getViewlets().map(viewlet => this.instantiationService.createInstance(ToggleViewletPinnedAction, viewlet));
		actions.push(new Separator());
		actions.push(this.instantiationService.createInstance(ToggleActivityBarVisibilityAction, ToggleActivityBarVisibilityAction.ID, nls.localize('hideActivitBar', "Hide Activity Bar")));

		this.contextMenuService.showContextMenu({
			getAnchor: () => { return { x: event.posx + 1, y: event.posy }; },
			getActions: () => TPromise.as(actions),
			onHide: () => dispose(actions)
		});
	}

I
isidor 已提交
262 263
	private createViewletSwitcher(div: Builder): void {
		this.viewletSwitcherBar = new ActionBar(div, {
B
Benjamin Pasero 已提交
264
			actionItemProvider: (action: Action) => action instanceof ViewletOverflowActivityAction ? this.viewletOverflowActionItem : this.viewletIdToActionItems[action.id],
265
			orientation: ActionsOrientation.VERTICAL,
266 267
			ariaLabel: nls.localize('activityBarAriaLabel', "Active View Switcher"),
			animated: false
E
Erich Gamma 已提交
268 269
		});

270
		this.updateViewletSwitcher();
271 272 273

		// Update viewlet switcher when external viewlets become ready
		this.extensionService.onReady().then(() => this.updateViewletSwitcher());
P
Pine Wu 已提交
274 275
	}

276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298
	private createActivityActionBar(container: HTMLElement): void {
		const activityRegistry = Registry.as<IActivityRegistry>(ActivityExtensions.Activities);
		const descriptors = activityRegistry.getActivities();
		const actions = descriptors
			.map(d => this.instantiationService.createInstance(d))
			.map(a => new GlobalActivityAction(a));

		this.activityActionBar = new ActionBar(container, {
			actionItemProvider: a => this.instantiationService.createInstance(GlobalActivityActionItem, a),
			orientation: ActionsOrientation.VERTICAL,
			ariaLabel: nls.localize('globalActions', "Global Actions"),
			animated: false
		});

		actions.forEach(a => this.activityActionBar.push(a));

		this.updateGlobalSwitcher();
	}

	private updateGlobalSwitcher(): void {

	}

299
	private updateViewletSwitcher() {
300 301 302 303
		let viewletsToShow = this.getPinnedViewlets();

		// Always show the active viewlet even if it is marked to be hidden
		const activeViewlet = this.viewletService.getActiveViewlet();
B
Benjamin Pasero 已提交
304
		if (activeViewlet && !viewletsToShow.some(viewlet => viewlet.id === activeViewlet.getId())) {
305 306 307 308 309
			this.activeUnpinnedViewlet = this.viewletService.getViewlet(activeViewlet.getId());
			viewletsToShow.push(this.activeUnpinnedViewlet);
		} else {
			this.activeUnpinnedViewlet = void 0;
		}
310 311 312 313 314

		// Ensure we are not showing more viewlets than we have height for
		let overflows = false;
		if (this.dimension) {
			const maxVisible = Math.floor(this.dimension.height / ActivitybarPart.ACTIVITY_ACTION_HEIGHT);
315
			overflows = viewletsToShow.length > maxVisible;
316 317

			if (overflows) {
318
				viewletsToShow = viewletsToShow.slice(0, maxVisible - 1 /* make room for overflow action */);
319 320 321 322
			}
		}

		const visibleViewlets = Object.keys(this.viewletIdToActions);
B
Benjamin Pasero 已提交
323
		const visibleViewletsChange = !arrays.equals(viewletsToShow.map(viewlet => viewlet.id), visibleViewlets);
324 325 326 327 328 329 330 331 332 333 334

		// Pull out overflow action if there is a viewlet change so that we can add it to the end later
		if (this.viewletOverflowAction && visibleViewletsChange) {
			this.viewletSwitcherBar.pull(this.viewletSwitcherBar.length() - 1);

			this.viewletOverflowAction.dispose();
			this.viewletOverflowAction = null;

			this.viewletOverflowActionItem.dispose();
			this.viewletOverflowActionItem = null;
		}
335

336
		// Pull out viewlets that overflow or got hidden
337 338 339
		const viewletIdsToShow = viewletsToShow.map(v => v.id);
		visibleViewlets.forEach(viewletId => {
			if (viewletIdsToShow.indexOf(viewletId) === -1) {
P
Pine Wu 已提交
340 341 342 343
				this.pullViewlet(viewletId);
			}
		});

344
		// Built actions for viewlets to show
345
		const newViewletsToShow = viewletsToShow
346
			.filter(viewlet => !this.viewletIdToActions[viewlet.id])
P
Pine Wu 已提交
347 348
			.map(viewlet => this.toAction(viewlet));

349 350
		// Update when we have new viewlets to show
		if (newViewletsToShow.length) {
351

352 353 354 355 356 357 358 359 360 361
			// Add to viewlet switcher
			this.viewletSwitcherBar.push(newViewletsToShow, { label: true, icon: true });

			// Make sure to activate the active one
			const activeViewlet = this.viewletService.getActiveViewlet();
			if (activeViewlet) {
				const activeViewletEntry = this.viewletIdToActions[activeViewlet.getId()];
				if (activeViewletEntry) {
					activeViewletEntry.activate();
				}
362
			}
363 364 365

			// Make sure to restore activity
			Object.keys(this.viewletIdToActions).forEach(viewletId => {
366
				this.updateActivity(viewletId);
367 368 369 370 371
			});
		}

		// Add overflow action as needed
		if (visibleViewletsChange && overflows) {
372
			this.viewletOverflowAction = this.instantiationService.createInstance(ViewletOverflowActivityAction, () => this.viewletOverflowActionItem.showMenu());
373
			this.viewletOverflowActionItem = this.instantiationService.createInstance(ViewletOverflowActivityActionItem, this.viewletOverflowAction, () => this.getOverflowingViewlets(), (viewlet: ViewletDescriptor) => this.viewletIdToActivityStack[viewlet.id] && this.viewletIdToActivityStack[viewlet.id][0].badge);
374 375

			this.viewletSwitcherBar.push(this.viewletOverflowAction, { label: true, icon: true });
376
		}
P
Pine Wu 已提交
377 378
	}

379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396
	private getOverflowingViewlets(): ViewletDescriptor[] {
		const viewlets = this.getPinnedViewlets();
		if (this.activeUnpinnedViewlet) {
			viewlets.push(this.activeUnpinnedViewlet);
		}
		const visibleViewlets = Object.keys(this.viewletIdToActions);

		return viewlets.filter(viewlet => visibleViewlets.indexOf(viewlet.id) === -1);
	}

	private getVisibleViewlets(): ViewletDescriptor[] {
		const viewlets = this.viewletService.getViewlets();
		const visibleViewlets = Object.keys(this.viewletIdToActions);

		return viewlets.filter(viewlet => visibleViewlets.indexOf(viewlet.id) >= 0);
	}

	private getPinnedViewlets(): ViewletDescriptor[] {
B
Benjamin Pasero 已提交
397
		return this.pinnedViewlets.map(viewletId => this.viewletService.getViewlet(viewletId)).filter(v => !!v); // ensure to remove those that might no longer exist
398 399
	}

P
Pine Wu 已提交
400
	private pullViewlet(viewletId: string): void {
401
		const index = Object.keys(this.viewletIdToActions).indexOf(viewletId);
B
Benjamin Pasero 已提交
402 403
		if (index >= 0) {
			this.viewletSwitcherBar.pull(index);
404

B
Benjamin Pasero 已提交
405 406 407
			const action = this.viewletIdToActions[viewletId];
			action.dispose();
			delete this.viewletIdToActions[viewletId];
408

B
Benjamin Pasero 已提交
409
			const actionItem = this.viewletIdToActionItems[action.id];
B
Benjamin Pasero 已提交
410
			actionItem.dispose();
B
Benjamin Pasero 已提交
411
			delete this.viewletIdToActionItems[action.id];
B
Benjamin Pasero 已提交
412
		}
I
isidor 已提交
413
	}
J
Joao Moreno 已提交
414

415
	private toAction(viewlet: ViewletDescriptor): ActivityAction {
416
		const action = this.instantiationService.createInstance(ViewletActivityAction, viewlet);
I
isidor 已提交
417

418
		this.viewletIdToActionItems[action.id] = this.instantiationService.createInstance(ViewletActionItem, action);
419
		this.viewletIdToActions[viewlet.id] = action;
I
isidor 已提交
420 421

		return action;
422 423
	}

424 425 426 427
	public getPinned(): string[] {
		return this.pinnedViewlets;
	}

428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453
	public unpin(viewletId: string): void {
		if (!this.isPinned(viewletId)) {
			return;
		}

		const activeViewlet = this.viewletService.getActiveViewlet();
		const defaultViewletId = this.viewletService.getDefaultViewletId();
		const visibleViewlets = this.getVisibleViewlets();

		let unpinPromise: TPromise<any>;

		// Case: viewlet is not the active one or the active one is a different one
		// Solv: we do nothing
		if (!activeViewlet || activeViewlet.getId() !== viewletId) {
			unpinPromise = TPromise.as(null);
		}

		// Case: viewlet is not the default viewlet and default viewlet is still showing
		// Solv: we open the default viewlet
		else if (defaultViewletId !== viewletId && this.isPinned(defaultViewletId)) {
			unpinPromise = this.viewletService.openViewlet(defaultViewletId, true);
		}

		// Case: we closed the last visible viewlet
		// Solv: we hide the sidebar
		else if (visibleViewlets.length === 1) {
454
			unpinPromise = this.partService.setSideBarHidden(true);
455 456 457 458 459 460 461 462 463 464
		}

		// Case: we closed the default viewlet
		// Solv: we open the next visible viewlet from top
		else {
			unpinPromise = this.viewletService.openViewlet(visibleViewlets.filter(viewlet => viewlet.id !== viewletId)[0].id, true);
		}

		unpinPromise.then(() => {

465 466 467
			// then remove from pinned and update switcher
			const index = this.pinnedViewlets.indexOf(viewletId);
			this.pinnedViewlets.splice(index, 1);
468 469 470 471 472 473

			this.updateViewletSwitcher();
		});
	}

	public isPinned(viewletId: string): boolean {
474
		return this.pinnedViewlets.indexOf(viewletId) >= 0;
475 476
	}

B
Benjamin Pasero 已提交
477
	public pin(viewletId: string, update = true): void {
478 479 480 481 482 483 484 485
		if (this.isPinned(viewletId)) {
			return;
		}

		// first open that viewlet
		this.viewletService.openViewlet(viewletId, true).then(() => {

			// then update
486 487
			this.pinnedViewlets.push(viewletId);
			this.pinnedViewlets = arrays.distinct(this.pinnedViewlets);
488

B
Benjamin Pasero 已提交
489 490 491
			if (update) {
				this.updateViewletSwitcher();
			}
492 493 494
		});
	}

495
	public move(viewletId: string, toViewletId: string): void {
B
Benjamin Pasero 已提交
496 497 498 499 500 501

		// Make sure a moved viewlet gets pinned
		if (!this.isPinned(viewletId)) {
			this.pin(viewletId, false /* defer update, we take care of it */);
		}

502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519
		const fromIndex = this.pinnedViewlets.indexOf(viewletId);
		const toIndex = this.pinnedViewlets.indexOf(toViewletId);

		this.pinnedViewlets.splice(fromIndex, 1);
		this.pinnedViewlets.splice(toIndex, 0, viewletId);

		// Clear viewlets that are impacted by the move
		const visibleViewlets = Object.keys(this.viewletIdToActions);
		for (let i = Math.min(fromIndex, toIndex); i < visibleViewlets.length; i++) {
			this.pullViewlet(visibleViewlets[i]);
		}

		// timeout helps to prevent artifacts from showing up
		setTimeout(() => {
			this.updateViewletSwitcher();
		}, 0);
	}

520 521 522 523 524 525 526 527 528 529 530 531 532 533 534
	/**
	 * Layout title, content and status area in the given dimension.
	 */
	public layout(dimension: Dimension): Dimension[] {

		// Pass to super
		const sizes = super.layout(dimension);

		this.dimension = sizes[1];

		// Update switcher to handle overflow issues
		this.updateViewletSwitcher();

		return sizes;
	}
I
isidor 已提交
535

E
Erich Gamma 已提交
536
	public dispose(): void {
I
isidor 已提交
537 538 539 540 541
		if (this.viewletSwitcherBar) {
			this.viewletSwitcherBar.dispose();
			this.viewletSwitcherBar = null;
		}

E
Erich Gamma 已提交
542 543
		super.dispose();
	}
544 545 546 547

	public shutdown(): void {

		// Persist Hidden State
548
		this.memento[ActivitybarPart.PINNED_VIEWLETS] = this.pinnedViewlets;
549 550 551 552

		// Pass to super
		super.shutdown();
	}
553
}