Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2025-12-20 02:08:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixes #193784

Browse Source
This commit is contained in:
Henning Dieterichs
2023-09-25 11:25:33 +02:00
committed by Henning Dieterichs
parent 419e445f8d
commit 9987f6f321
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/vs/editor/browser/widget/diffEditor/lineAlignment.ts
View File

@@ -141,6 +141,7 @@ export class ViewZoneManager extends Disposable {
domNode: document.createElement('div'),
heightInPx: modifiedTopPaddingVal,
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
const originalTopPaddingVal = this._originalTopPadding.read(reader);
@@ -150,6 +151,7 @@ export class ViewZoneManager extends Disposable {
domNode: document.createElement('div'),
heightInPx: originalTopPaddingVal,
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
@@ -237,6 +239,7 @@ export class ViewZoneManager extends Disposable {
domNode: createFakeLinesDiv(),
heightInPx: (count - 1) * modLineHeight,
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
}
@@ -249,6 +252,7 @@ export class ViewZoneManager extends Disposable {
marginDomNode,
setZoneId(id) { zoneId = id; },
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
@@ -261,6 +265,7 @@ export class ViewZoneManager extends Disposable {
heightInPx: a.modifiedHeightInPx,
marginDomNode,
showInHiddenAreas: true,
suppressMouseDown: true,
});
} else {
const delta = a.modifiedHeightInPx - a.originalHeightInPx;
@@ -274,6 +279,7 @@ export class ViewZoneManager extends Disposable {
domNode: createFakeLinesDiv(),
heightInPx: delta,
showInHiddenAreas: true,
suppressMouseDown: true,
});
} else {
if (syncedMovedText?.lineRangeMapping.modified.delta(-1).deltaLength(2).contains(a.modifiedRange.endLineNumberExclusive - 1)) {
@@ -297,6 +303,7 @@ export class ViewZoneManager extends Disposable {
heightInPx: -delta,
marginDomNode,
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
}
@@ -316,6 +323,7 @@ export class ViewZoneManager extends Disposable {
domNode: createFakeLinesDiv(),
heightInPx: delta,
showInHiddenAreas: true,
suppressMouseDown: true,
});
} else {
modViewZones.push({
@@ -323,6 +331,7 @@ export class ViewZoneManager extends Disposable {
domNode: createFakeLinesDiv(),
heightInPx: -delta,
showInHiddenAreas: true,
suppressMouseDown: true,
});
}
}