-
Notifications
You must be signed in to change notification settings - Fork 89
Expand file tree
/
Copy pathPane.java
More file actions
139 lines (122 loc) · 4.42 KB
/
Pane.java
File metadata and controls
139 lines (122 loc) · 4.42 KB
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
package nodebox.client;
import javax.swing.*;
import java.awt.*;
import java.awt.event.FocusEvent;
import java.awt.event.FocusListener;
import java.lang.reflect.Constructor;
public abstract class Pane extends JPanel implements FocusListener {
private Component mainComponent;
public Pane() {
addFocusListener(this);
}
public abstract Pane duplicate();
public abstract String getPaneName();
public abstract PaneHeader getPaneHeader();
public abstract PaneView getPaneView();
/**
* Splits the pane into two vertically aligned panes. This pane will be relocated as the top pane.
* The bottom pane will be a duplicate of this pane.
*/
public void splitTopBottom() {
split(JSplitPane.VERTICAL_SPLIT);
}
/**
* Splits the pane into two horizontally aligned panes. This pane will be relocated as the left pane.
* The right pane will be a duplicate of this pane.
*/
public void splitLeftRight() {
split(JSplitPane.HORIZONTAL_SPLIT);
}
private void split(int orientation) {
Container parent = getParent();
if (parent instanceof JSplitPane) {
JSplitPane parentSplit = (JSplitPane) parent;
boolean first = parentSplit.getTopComponent() == this;
if (first) {
parentSplit.setTopComponent(null);
} else {
parentSplit.setBottomComponent(null);
}
CustomSplitPane split = new CustomSplitPane(orientation, this, this.duplicate());
if (first) {
parentSplit.setTopComponent(split);
} else {
parentSplit.setBottomComponent(split);
}
parentSplit.validate();
} else {
parent.remove(this);
CustomSplitPane split = new CustomSplitPane(orientation, this, this.duplicate());
parent.add(split);
parent.validate();
}
}
public void close() {
Container parent = getParent();
if (!(parent instanceof JSplitPane)) return;
JSplitPane split = (JSplitPane) parent;
Component firstComponent = split.getTopComponent();
Component secondComponent = split.getBottomComponent();
Component remainingComponent = firstComponent == this ? secondComponent : firstComponent;
split.setTopComponent(null);
split.setBottomComponent(null);
Container grandParent = parent.getParent();
if (grandParent instanceof JSplitPane) {
JSplitPane grandSplit = (JSplitPane) grandParent;
// Remove the split pane.
if (split == grandSplit.getTopComponent()) {
grandSplit.setTopComponent(remainingComponent);
} else {
grandSplit.setBottomComponent(remainingComponent);
}
} else {
grandParent.remove(parent);
grandParent.add(remainingComponent);
}
grandParent.validate();
}
public void changePaneType(Class paneType) {
if (!Pane.class.isAssignableFrom(paneType)) return;
final Pane newPane;
try {
Constructor c = paneType.getConstructor(NodeBoxDocument.class);
newPane = (Pane) c.newInstance();
} catch (Exception e) {
throw new RuntimeException("Could not instantiate new " + paneType, e);
}
Container parent = getParent();
if (parent instanceof JSplitPane) {
JSplitPane parentSplit = (JSplitPane) parent;
boolean first = parentSplit.getTopComponent() == this;
if (first) {
parentSplit.setTopComponent(newPane);
} else {
parentSplit.setBottomComponent(newPane);
}
} else {
Dimension d = getSize();
parent.remove(this);
parent.add(newPane);
newPane.setSize(d);
}
parent.validate();
SwingUtilities.invokeLater(new Runnable() {
public void run() {
newPane.requestFocus();
}
});
}
public Component getMainComponent() {
return mainComponent;
}
public void setMainComponent(Component c) {
this.mainComponent = c;
}
public void focusGained(FocusEvent focusEvent) {
if (mainComponent != null) {
mainComponent.requestFocus();
}
}
public void focusLost(FocusEvent focusEvent) {
}
}