From 59cd325e0b02d3c7f482db606a98bd61a3bc7afc Mon Sep 17 00:00:00 2001 From: Alexander Lobas Date: Fri, 10 Jun 2022 17:41:49 +0300 Subject: [PATCH] IDEA-295534 Preferences> Editor > Intentions line number of editor for before/after is overlapped with the contents GitOrigin-RevId: 9f2637987d204c29e9878cafb7ccc6cfe71569ba --- .../src/com/intellij/openapi/editor/impl/EditorGutterLayout.java | 1 + 1 file changed, 1 insertion(+) diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterLayout.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterLayout.java index 6adfd0f995ca..a9d6cee1a303 100644 --- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterLayout.java +++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterLayout.java @@ -156,6 +156,7 @@ public class EditorGutterLayout { areaGap(4).showIf(this::isLineNumbersShown), area(LINE_NUMBERS_AREA, () -> myEditorGutter.myLineNumberAreaWidth).showIf(this::isLineNumbersShown), + areaGap(12).showIf(() -> myEditorGutter.isLineNumbersShown() && !myEditorGutter.isLineMarkersShown()), area(ADDITIONAL_LINE_NUMBERS_AREA, () -> myEditorGutter.myAdditionalLineNumberAreaWidth), area(ADDITIONAL_LINE_NUMBERS_AREA, () -> 4).showIf(() -> myEditorGutter.isLineNumbersShown() && myEditorGutter.isLineMarkersShown()), area(ANNOTATIONS_AREA, () -> myEditorGutter.myTextAnnotationExtraSize)