157 |
* buttons. */ |
* buttons. */ |
158 |
private transient int currentDividerLocation = 1; |
private transient int currentDividerLocation = 1; |
159 |
|
|
160 |
|
private transient Border tmpBorder = new Border() |
161 |
|
{ |
162 |
|
public Insets getBorderInsets(Component c) |
163 |
|
{ |
164 |
|
return new Insets(2, 2, 2, 2); |
165 |
|
} |
166 |
|
|
167 |
|
public boolean isBorderOpaque() |
168 |
|
{ |
169 |
|
return false; |
170 |
|
} |
171 |
|
|
172 |
|
public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) |
173 |
|
{ |
174 |
|
Color saved = g.getColor(); |
175 |
|
g.setColor(Color.BLACK); |
176 |
|
|
177 |
|
g.drawRect(x + 2, y + 2, width - 4, height - 4); |
178 |
|
|
179 |
|
g.setColor(saved); |
180 |
|
} |
181 |
|
}; |
182 |
|
|
183 |
/** |
/** |
184 |
* Constructs a new divider. |
* Constructs a new divider. |
185 |
* |
* |
190 |
setLayout(new DividerLayout()); |
setLayout(new DividerLayout()); |
191 |
setBasicSplitPaneUI(ui); |
setBasicSplitPaneUI(ui); |
192 |
setDividerSize(splitPane.getDividerSize()); |
setDividerSize(splitPane.getDividerSize()); |
193 |
|
setBorder(tmpBorder); |
194 |
} |
} |
195 |
|
|
196 |
/** |
/** |