shelve: fix jumping gutter width on patch diff viewer initialisation

2026-09-27 10:03:11 +07:00 · 2017-06-02 18:24:50 +03:00
parent b3790ddc22
commit 28db420991
1 changed files with 2 additions and 0 deletions
@@ -131,6 +131,8 @@ public class PatchDiffTool implements FrameDiffTool {
      for (PatchChangeBuilder.Hunk hunk : myHunks) {
        DiffDrawUtil.createUnifiedChunkHighlighters(myEditor, hunk.getPatchDeletionRange(), hunk.getPatchInsertionRange(), null);
      }
+
+      myEditor.getGutterComponentEx().revalidateMarkup();
    }

    @Nullable