File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
editor/contrib/folding/browser
workbench/contrib/scm/browser Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -413,7 +413,7 @@ export class FoldingController extends Disposable implements IEditorContribution
413
413
// const gutterOffsetX = data.offsetX - data.glyphMarginWidth - data.lineNumbersWidth - data.glyphMarginLeft;
414
414
415
415
// TODO@joao TODO@alex TODO@martin this is such that we don't collide with dirty diff
416
- if ( gutterOffsetX < 5 ) { // the whitespace between the border and the real folding icon border is 5px
416
+ if ( gutterOffsetX < 4 ) { // the whitespace between the border and the real folding icon border is 4px
417
417
return ;
418
418
}
419
419
Original file line number Diff line number Diff line change @@ -922,7 +922,7 @@ export class DirtyDiffController extends Disposable implements DirtyDiffContribu
922
922
const gutterOffsetX = data . offsetX - offsetLeftInGutter ;
923
923
924
924
// TODO@joao TODO@alex TODO@martin this is such that we don't collide with folding
925
- if ( gutterOffsetX < - 3 || gutterOffsetX > 6 ) { // dirty diff decoration on hover is 9px wide
925
+ if ( gutterOffsetX < - 3 || gutterOffsetX > 3 ) { // dirty diff decoration on hover is 6px wide
926
926
return ;
927
927
}
928
928
You can’t perform that action at this time.
0 commit comments