- use strings for view zone ids

- make it unlikely that a new view instance would accept a view zone id from a previous view instance
- remove that the find widget removes a view zone id from another view
(fixes #71745)
This commit is contained in:
Alex Dima
2019-08-14 17:55:16 +02:00
parent c3fcaef0c0
commit 16051c7a41
18 changed files with 88 additions and 99 deletions

View File

@@ -21,7 +21,7 @@ class EditorWebviewZone implements IViewZone {
readonly afterColumn: number;
readonly heightInLines: number;
private _id?: number;
private _id?: string;
// suppressMouseDown?: boolean | undefined;
// heightInPx?: number | undefined;
// minWidthInPx?: number | undefined;