home *** CD-ROM | disk | FTP | other *** search
- package com.ibm.ivb.jface.vajava2;
-
- import com.ibm.ivb.jface.basic.BasicComponentSplitterUI;
- import com.ibm.ivb.jface.parts.ComponentSplitter;
- import com.ibm.ivb.jface.parts.SplitterLayout;
- import com.ibm.ivb.jface.parts.TiledComponent;
- import java.awt.Color;
- import java.awt.Component;
- import java.awt.Graphics;
- import java.awt.Insets;
- import java.awt.Rectangle;
- import javax.swing.JComponent;
- import javax.swing.border.Border;
- import javax.swing.border.EmptyBorder;
- import javax.swing.plaf.ComponentUI;
-
- public class VAJava2ComponentSplitterUI extends BasicComponentSplitterUI {
- private static final String kCBIBMCopyright = "(c) Copyright IBM Corporation 1998";
-
- public VAJava2ComponentSplitterUI() {
- super.eborder = new EmptyBorder(2, 2, 2, 2);
- }
-
- public static ComponentUI createUI(JComponent var0) {
- return new VAJava2ComponentSplitterUI();
- }
-
- public Insets getInsets() {
- return new Insets(0, 0, 0, 0);
- }
-
- public void installUI(JComponent var1) {
- super.splitter = (ComponentSplitter)var1;
- super.splitter.setLayout(new SplitterLayout());
- this.getClass();
- super.mmon = new BasicComponentSplitterUI.MouseMonitor(this, super.splitter);
- super.splitter.addMouseListener(super.mmon);
- super.splitter.addMouseMotionListener(super.mmon);
- super.splitter.setSplitBarSize(3);
- super.splitter.setBorder(super.eborder);
- super.splitter.setSplitBarHighlightColor(Color.black);
- if (super.splitter.getRoot() != null) {
- ((BasicComponentSplitterUI)this).installFocusListeners(super.splitter, super.splitter.getRoot(), true);
- }
-
- }
-
- protected void makeSplitBarNarrower(boolean var1, Rectangle var2) {
- }
-
- public void paint(Graphics var1, JComponent var2) {
- var1.setColor(((Component)var2).getBackground());
- ComponentSplitter var3 = (ComponentSplitter)var2;
- if (var3.getMaximizedComponent() == null) {
- this.paintSplitArea(var3, var1, var3.getRoot());
- }
-
- }
-
- void paintSplitArea(ComponentSplitter var1, Graphics var2, TiledComponent var3) {
- int var4 = var3.getChildCount();
-
- for(int var5 = 0; var5 < var4; ++var5) {
- TiledComponent var6 = var3.getChildAt(var5);
- if (var6.isVisible()) {
- Rectangle var7 = var6.getSplitbarBounds();
- if (var3.getType() == 2) {
- var2.fillRect(var7.x, var7.y - 1, var7.width, var7.height + 2);
- } else {
- var2.fillRect(var7.x - 1, var7.y, var7.width + 2, var7.height);
- }
-
- if (var6.getType() != 3) {
- this.paintSplitArea(var1, var2, var6);
- }
- }
- }
-
- }
-
- public void uninstallUI(JComponent var1) {
- ComponentSplitter var2 = (ComponentSplitter)var1;
- ((Component)var2).removeMouseListener(super.mmon);
- ((Component)var2).removeMouseMotionListener(super.mmon);
- ((JComponent)var2).setBorder((Border)null);
- if (var2.getRoot() != null) {
- ((BasicComponentSplitterUI)this).installFocusListeners(var2, var2.getRoot(), false);
- }
-
- }
- }
-