IJPL-180229 Editor gutter: indent between annotations and line numbers is 5px instead of 4px

(cherry picked from commit f410b366a072c5b3078b5d28255ed454ed5763de) IJ-CR-156896 GitOrigin-RevId: 924ad0971d704fc253c9ba5b2d2e5ffce2fe0136
2026-10-01 13:11:39 +07:00 · 2025-03-26 18:30:19 +00:00
parent 4f406ef64a
commit f4e941ac02
29 changed files with 5 additions and 1 deletions
@@ -200,7 +200,7 @@ public final class EditorGutterLayout {
    );

    List<GutterArea> lineNumbersAreas = List.of(
-      areaGap()
+      areaGap(gapBeforeLineMarkersWidth())
        .as(EditorMouseEventArea.LINE_NUMBERS_AREA)
        .showIf(this::isLineNumbersShown),
      area(LINE_NUMBERS_AREA, () -> myEditorGutter.myLineNumberAreaWidth)
@@ -269,6 +269,10 @@ public final class EditorGutterLayout {
    return layout;
  }

+  private static int gapBeforeLineMarkersWidth() {
+    return JBUI.CurrentTheme.Editor.Gutter.gapAfterVcsMarkersWidth();
+  }
+
  private static @NotNull GutterArea areaGap() {
    return area(GAP_BETWEEN_AREAS, EditorGutterComponentImpl::getGapBetweenAreas);
  }