mirror of
https://github.com/Microsoft/vscode
synced 2024-08-28 21:39:43 +00:00
update gutterOffsetX range (dirtydiff , fold) (#184339)
* update gutterOffsetX range (dirtydiff , fold) * Update comment --------- Co-authored-by: Alex Ross <alros@microsoft.com>
This commit is contained in:
parent
bae0533322
commit
30092f40a3
|
@ -413,7 +413,7 @@ export class FoldingController extends Disposable implements IEditorContribution
|
|||
// const gutterOffsetX = data.offsetX - data.glyphMarginWidth - data.lineNumbersWidth - data.glyphMarginLeft;
|
||||
|
||||
// TODO@joao TODO@alex TODO@martin this is such that we don't collide with dirty diff
|
||||
if (gutterOffsetX < 5) { // the whitespace between the border and the real folding icon border is 5px
|
||||
if (gutterOffsetX < 4) { // the whitespace between the border and the real folding icon border is 4px
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
|
@ -922,7 +922,7 @@ export class DirtyDiffController extends Disposable implements DirtyDiffContribu
|
|||
const gutterOffsetX = data.offsetX - offsetLeftInGutter;
|
||||
|
||||
// TODO@joao TODO@alex TODO@martin this is such that we don't collide with folding
|
||||
if (gutterOffsetX < -3 || gutterOffsetX > 6) { // dirty diff decoration on hover is 9px wide
|
||||
if (gutterOffsetX < -3 || gutterOffsetX > 3) { // dirty diff decoration on hover is 6px wide
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue