/* * Copyright 2000-2015 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package com.intellij.diff.tools.util; import com.intellij.diff.tools.util.DiffSplitter.Painter; import com.intellij.diff.util.Side; import com.intellij.util.containers.ContainerUtil; import com.intellij.util.ui.JBUI; import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; import consulo.annotations.RequiredDispatchThread; import javax.swing.*; import java.awt.*; import java.util.List; public class ThreeDiffSplitter extends JPanel { @NotNull private final List<Divider> myDividers; @NotNull private final List<? extends JComponent> myContents; public ThreeDiffSplitter(@NotNull List<? extends JComponent> components) { myDividers = ContainerUtil.list(new Divider(), new Divider()); myContents = components; addAll(myContents); addAll(myDividers); } @RequiredDispatchThread public void setPainter(@Nullable Painter painter, @NotNull Side side) { getDivider(side).setPainter(painter); } public void repaintDividers() { repaintDivider(Side.LEFT); repaintDivider(Side.RIGHT); } public void repaintDivider(@NotNull Side side) { getDivider(side).repaint(); } @NotNull private Divider getDivider(@NotNull Side side) { return myDividers.get(side.getIndex()); } private void addAll(@NotNull List<? extends JComponent> components) { for (JComponent component : components) { add(component, -1); } } public void doLayout() { int width = getWidth(); int height = getHeight(); int dividersTotalWidth = 0; for (JComponent divider : myDividers) { dividersTotalWidth += divider.getPreferredSize().width; } int panelWidth = (width - dividersTotalWidth) / 3; int x = 0; for (int i = 0; i < myContents.size(); i++) { JComponent component = myContents.get(i); component.setBounds(x, 0, panelWidth, height); component.validate(); x += panelWidth; if (i < myDividers.size()) { JComponent divider = myDividers.get(i); int dividerWidth = divider.getPreferredSize().width; divider.setBounds(x, 0, dividerWidth, height); divider.validate(); x += dividerWidth; } } } private static class Divider extends JComponent { @Nullable private Painter myPainter; public Dimension getPreferredSize() { return JBUI.size(30, 1); } public void paint(Graphics g) { super.paint(g); if (myPainter != null) myPainter.paint(g, this); } @RequiredDispatchThread public void setPainter(@Nullable Painter painter) { myPainter = painter; } } }