Merge remote-tracking branch 'origin/master'

This commit is contained in:
João Moreno 2020-11-04 15:42:56 +01:00
commit 4cd46e32b2
No known key found for this signature in database
GPG key ID: 896B853774D1A575

View file

@ -15,8 +15,16 @@ const TARGET_KEY = '__$__targetStorageMarker';
export const IStorageService = createDecorator<IStorageService>('storageService');
export enum WillSaveStateReason {
NONE = 0,
SHUTDOWN = 1
/**
* No specific reason to save state.
*/
NONE,
/**
* A hint that the workbench is about to shutdown.
*/
SHUTDOWN
}
export interface IWillSaveStateEvent {