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-296889 Problems tool window: proper border for action toolbar

Browse Source 
GitOrigin-RevId: a97bb1bdc70d9a6feb371bb535b14fc070b4d732
This commit is contained in:
Konstantin Bulenkov
2022-07-01 12:38:52 +00:00
committed by intellij-monorepo-bot
parent 69b2163ce5
commit ea1533a948
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/analysis/problemsView/toolWindow/ProblemsViewPanel.java
+9 -1
View File
@@ -9,6 +9,7 @@ import com.intellij.ide.ui.UISettings;
import com.intellij.openapi.Disposable;
import com.intellij.openapi.actionSystem.*;
import com.intellij.openapi.actionSystem.ToggleOptionAction.Option;
import com.intellij.openapi.actionSystem.impl.ActionToolbarImpl;
import com.intellij.openapi.application.AccessToken;
import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.fileEditor.FileEditorManager;
@@ -221,7 +222,14 @@ public class ProblemsViewPanel extends OnePixelSplitter implements Disposable, D
JScrollPane scrollPane = createScrollPane(myTree, true);
if (ExperimentalUI.isNewUI()) {
scrollPane.getHorizontalScrollBar().addAdjustmentListener(event -> {
Border border = event.getAdjustable().getValue() != 0 ? new CustomLineBorder(myToolbarInsets) : JBUI.Borders.empty(myToolbarInsets);
int orientation = ((ActionToolbarImpl)myToolbar).getOrientation();
Insets i = orientation == SwingConstants.VERTICAL ? UIManager.getInsets("ToolBar.verticalToolbarInsets")
: UIManager.getInsets("ToolBar.horizontalToolbarInsets");
Border innerBorder = i != null ? JBUI.Borders.empty(i.top, i.left, i.bottom, i.right)
: JBUI.Borders.empty(2);
Border border = event.getAdjustable().getValue() != 0 ? JBUI.Borders.compound(new CustomLineBorder(myToolbarInsets), innerBorder)
: innerBorder;
myToolbar.getComponent().setBorder(border);
myToolbar.getComponent().repaint();
});