MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IJPL-846 remove deprecated myDefaultPainter

Browse Source 
GitOrigin-RevId: 9ea218727f9c4e31dbe54b2fb462e006fbec8e2c
This commit is contained in:
Vladimir Krivosheev
2024-03-24 23:01:38 +00:00
committed by intellij-monorepo-bot
parent 27f279e049
commit a342347fd6
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java
+1 -6
View File
@@ -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<Boolean> 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;