development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 13:00:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update Seti to support Notebook.

Browse source
This commit is contained in:
rebornix 2022-02-17 13:04:51 -08:00
parent 8eb145d146
commit 823317a8f2
No known key found for this signature in database
GPG key ID: 181FC90D15393C20
4 changed files with 386 additions and 373 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extensions/theme-seti/cgmanifest.json
View file

@ -6,7 +6,7 @@
"git": {
"name": "seti-ui",
"repositoryUrl": "https://github.com/jesseweed/seti-ui",
"commitHash": "529789dc4eee3e2fdc5985f082ee58adfb97696c"
"commitHash": "921e46b4c378059032c2a9247a6cc96d0f9e57b4"
}
},
"version": "0.1.0"

BIN
extensions/theme-seti/icons/seti.woff
View file

Binary file not shown.

732
extensions/theme-seti/icons/vs-seti-icon-theme.json
View file

File diff suppressed because it is too large Load diff

25
src/vs/workbench/browser/parts/editor/editorCommands.ts
View file

@ -35,6 +35,8 @@ import { SideBySideEditor } from 'vs/workbench/browser/parts/editor/sideBySideEd
import { IJSONSchema } from 'vs/base/common/jsonSchema';
import { IEditorResolverService } from 'vs/workbench/services/editor/common/editorResolverService';
import { IPathService } from 'vs/workbench/services/path/common/pathService';
import { ITelemetryService } from 'vs/platform/telemetry/common/telemetry';
import { extname } from 'vs/base/common/resources';
export const CLOSE_SAVED_EDITORS_COMMAND_ID = 'workbench.action.closeUnmodifiedEditors';
export const CLOSE_EDITORS_IN_GROUP_COMMAND_ID = 'workbench.action.closeEditorsInGroup';
@ -931,6 +933,7 @@ function registerCloseEditorCommands() {
const editorGroupService = accessor.get(IEditorGroupsService);
const editorService = accessor.get(IEditorService);
const editorResolverService = accessor.get(IEditorResolverService);
const telemetryService = accessor.get(ITelemetryService);
const { group, editor } = resolveCommandsContext(editorGroupService, getCommandsContext(resourceOrContext, context));
@ -953,6 +956,28 @@ function registerCloseEditorCommands() {
}
]);
type WorkbenchEditorReopenClassification = {
scheme: { classification: 'SystemMetaData'; purpose: 'FeatureInsight' };
ext: { classification: 'SystemMetaData'; purpose: 'FeatureInsight' };
from: { classification: 'SystemMetaData'; purpose: 'FeatureInsight' };
to: { classification: 'SystemMetaData'; purpose: 'FeatureInsight' };
};
type WorkbenchEditorReopenEvent = {
scheme: string;
ext: string;
from: string;
to: string;
};
telemetryService.publicLog2<WorkbenchEditorReopenEvent, WorkbenchEditorReopenClassification>('workbenchEditorReopen', {
scheme: editor.resource?.scheme ?? '',
ext: editor.resource ? extname(editor.resource) : '',
from: editor.editorId ?? '',
to: resolvedEditor.editor.editorId ?? ''
});
// Make sure it becomes active too
await resolvedEditor.group.openEditor(resolvedEditor.editor);
}