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

IDEA-317864 Use ScrollableContentBorder in the Build tool window

Browse Source 
GitOrigin-RevId: 1f3b84192fc0f86aee2427dd4de7a17fbad107fe
This commit is contained in:
Sergei Tachenov
2024-03-29 11:41:09 +00:00
committed by intellij-monorepo-bot
parent c7e91d822f
commit 14cef17872
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/build/MultipleBuildsView.java
+9 -4
View File
@@ -18,9 +18,7 @@ import com.intellij.openapi.ui.OnePixelDivider;
import com.intellij.openapi.util.Disposer;
import com.intellij.openapi.util.Pair;
import com.intellij.openapi.wm.ToolWindow;
import com.intellij.ui.OnePixelSplitter;
import com.intellij.ui.SimpleColoredComponent;
import com.intellij.ui.SimpleTextAttributes;
import com.intellij.ui.*;
import com.intellij.ui.components.JBList;
import com.intellij.ui.components.JBScrollPane;
import com.intellij.ui.content.Content;
@@ -83,6 +81,9 @@ public final class MultipleBuildsView implements BuildProgressListener, Disposab
isInitializeStarted = new AtomicBoolean();
myPostponedRunnables = ContainerUtil.createConcurrentList();
myThreeComponentsSplitter = new OnePixelSplitter(SPLITTER_PROPERTY, 0.25f);
if (ExperimentalUI.isNewUI()) {
ScrollableContentBorder.setup(myThreeComponentsSplitter, Side.LEFT);
}
myBuildsList = new JBList<>();
myBuildsList.setModel(new DefaultListModel<>());
updateBuildsListRowHeight();
@@ -269,7 +270,11 @@ public final class MultipleBuildsView implements BuildProgressListener, Disposab
myToolbarActions = new DefaultActionGroup();
ActionToolbar tb = ActionManager.getInstance().createActionToolbar("BuildView", myToolbarActions, false);
tb.setTargetComponent(consoleComponent);
tb.getComponent().setBorder(JBUI.Borders.merge(tb.getComponent().getBorder(), JBUI.Borders.customLine(OnePixelDivider.BACKGROUND, 0, 0, 0, 1), true));
if (!ExperimentalUI.isNewUI()) {
tb.getComponent().setBorder(
JBUI.Borders.merge(tb.getComponent().getBorder(), JBUI.Borders.customLine(OnePixelDivider.BACKGROUND, 0, 0, 0, 1), true)
);
}
consoleComponent.add(tb.getComponent(), BorderLayout.WEST);
myContent = new ContentImpl(consoleComponent, myViewManager.getViewName(), true) {