86 |
/** The current mode. |
/** The current mode. |
87 |
*/ |
*/ |
88 |
public int mode = NORMAL; |
public int mode = NORMAL; |
89 |
|
|
90 |
|
// Arrowsets |
91 |
|
public static final int LEFT = 0; |
92 |
|
public static final int RIGHT = 1; |
93 |
|
|
94 |
|
/** Windows, by arrowset (LEFT or RIGHT) |
95 |
|
*/ |
96 |
public Win[] windows = new Win[2]; |
public Win[] windows = new Win[2]; |
97 |
|
|
98 |
|
/** The list of *all* windows, regardless of arrowset |
99 |
|
*/ |
100 |
|
public List windowList = new ArrayList(); |
101 |
|
|
102 |
/** The group of filers we use for saving. |
/** The group of filers we use for saving. |
103 |
*/ |
*/ |
135 |
public void updateDims() { |
public void updateDims() { |
136 |
for(int i=0; i<dimsIndices.length; i++) dims[i] = dimList[dimsIndices[i]].d; |
for(int i=0; i<dimsIndices.length; i++) dims[i] = dimList[dimsIndices[i]].d; |
137 |
} |
} |
138 |
public Win other; |
|
139 |
|
public Win getNext() { |
140 |
|
int i = windowList.indexOf(this) + 1; |
141 |
|
if(i >= windowList.size()) i = 0; |
142 |
|
return (Win)windowList.get(i); |
143 |
|
} |
144 |
|
|
145 |
|
public Win getPrev() { |
146 |
|
int i = windowList.indexOf(this) - 1; |
147 |
|
if(i < 0) i = windowList.size() - 1; |
148 |
|
return (Win)windowList.get(i); |
149 |
|
} |
150 |
|
|
151 |
|
public void close() { |
152 |
|
Win next = getNext(); |
153 |
|
if(next == this) { |
154 |
|
// this is last window... XXX |
155 |
|
return; |
156 |
|
} |
157 |
|
if(windows[LEFT] == this) windows[LEFT] = next; |
158 |
|
if(windows[RIGHT] == this) windows[RIGHT] = next; |
159 |
|
windowList.remove(this); |
160 |
|
|
161 |
|
throw new UnsupportedOperationException("Closing not implemented in GraphicsAPI.Window"); |
162 |
|
} |
163 |
|
|
164 |
public Cell getAccursed() { return cursor; } |
public Cell getAccursed() { return cursor; } |
165 |
public List getCursorColors(Cell c) { |
public List getCursorColors(Cell c) { |
280 |
*/ |
*/ |
281 |
windows[0] = new Win(new LightColorScheme(0.233f)); |
windows[0] = new Win(new LightColorScheme(0.233f)); |
282 |
windows[1] = new Win(new LightColorScheme(0.555f)); |
windows[1] = new Win(new LightColorScheme(0.555f)); |
283 |
windows[0].other = windows[1]; |
windowList.add(windows[0]); |
284 |
windows[1].other = windows[0]; |
windowList.add(windows[1]); |
285 |
windows[0].cursor = start; |
windows[0].cursor = start; |
286 |
windows[1].cursor = start; |
windows[1].cursor = start; |
287 |
|
|