blob: 14c835e7345f8da6f1ec2d1a06ce71ba00c67aae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/*
* Licensed Materials - Property of IBM,
* WebSphere Studio Workbench
* (c) Copyright IBM Corp 2001
*/
package org.eclipse.compare.internal;
import org.eclipse.swt.widgets.*;
import org.eclipse.swt.custom.SashForm;
public class Splitter extends SashForm {
private static final String VISIBILITY= "org.eclipse.compare.internal.visibility";
public Splitter(Composite parent, int style) {
super(parent, style);
}
public void setVisible(Control child, boolean visible) {
boolean wasEmpty= isEmpty();
child.setVisible(visible);
child.setData(VISIBILITY, new Boolean(visible));
if (wasEmpty != isEmpty()) {
Composite parent= getParent();
if (parent instanceof Splitter) {
Splitter sp= (Splitter) parent;
sp.setVisible(this, visible);
sp.layout();
}
} else {
layout();
}
}
private boolean isEmpty() {
Control[] controls= getChildren();
for (int i= 0; i < controls.length; i++)
if (isVisible(controls[i]))
return false;
return true;
}
private boolean isVisible(Control child) {
if (child instanceof Sash)
return false;
Object data= child.getData(VISIBILITY);
if (data instanceof Boolean)
return ((Boolean)data).booleanValue();
return true;
}
public void setMaximizedControl(Control control) {
if (control == null || control == getMaximizedControl())
super.setMaximizedControl(null);
else
super.setMaximizedControl(control);
// walk up
Composite parent= getParent();
if (parent instanceof Splitter)
((Splitter) parent).setMaximizedControl(this);
else
layout(true);
}
}
|
