From a342347fd6a4931e0961c9f3e2dafca6d467be04 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Sun, 24 Mar 2024 17:26:19 +0100 Subject: [PATCH] IJPL-846 remove deprecated myDefaultPainter GitOrigin-RevId: 9ea218727f9c4e31dbe54b2fb462e006fbec8e2c --- .../src/com/intellij/ui/tabs/impl/JBEditorTabs.java | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java index 1eae3def1f59..64102aead8e1 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java +++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java @@ -1,4 +1,4 @@ -// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. +// Copyright 2000-2024 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. package com.intellij.ui.tabs.impl; import com.intellij.ide.ui.UISettings; @@ -15,11 +15,6 @@ import org.jetbrains.annotations.Nullable; public class JBEditorTabs extends JBTabsImpl implements JBEditorTabsBase { public static final Key MARK_MODIFIED_KEY = Key.create("EDITOR_TABS_MARK_MODIFIED"); - /** - * @deprecated use {@link #myTabPainter}. - */ - @Deprecated(forRemoval = true) - protected JBEditorTabsPainter myDefaultPainter = new DefaultEditorTabsPainter(this); private boolean myAlphabeticalModeChanged = false;