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

fix javadoc references in com.intellij.ui.tabs.JBTabsPresentation#setPaintBorder. Implement new Editor Tabs UI (#IDEA-205489)

Browse Source
This commit is contained in:
graann
2019-03-11 12:50:28 +03:00
parent 585a5a0206
commit b003d80f38
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/JBTabsPresentation.java
+2 -2
View File
@@ -14,12 +14,12 @@ public interface JBTabsPresentation {
void setHideTabs(boolean hideTabs);
/**
* @deprecated You should implement {@link JBBaseTabsBackgroundAndBorder} interface
* @deprecated You should implement {@link com.intellij.ui.tabs.newImpl.JBTabsBackgroundAndBorder} abstract class
*/
@Deprecated
JBTabsPresentation setPaintBorder(int top, int left, int right, int bottom);
/**
* @deprecated You should implement {@link JBBaseTabsBackgroundAndBorder} interface
* @deprecated You should implement {@link com.intellij.ui.tabs.newImpl.JBTabsBackgroundAndBorder} abstract class
*/
@Deprecated
JBTabsPresentation setTabSidePaintBorder(int size);