grid - move EditorPosition to exthost

This commit is contained in:
Benjamin Pasero
2018-05-20 14:09:00 +02:00
parent 41d65ec213
commit 249da81b04
15 changed files with 76 additions and 78 deletions

View File

@@ -0,0 +1,11 @@
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
'use strict';
// TODO@api this was previously a hardcoded list of editor positions (ONE, TWO, THREE)
// that with the introduction of grid editor feature is now unbounded. This should be
// revisited when the grid functionality is exposed to extensions
export type EditorPosition = number;