157 |
if(windows[LEFT] == this) windows[LEFT] = next; |
if(windows[LEFT] == this) windows[LEFT] = next; |
158 |
if(windows[RIGHT] == this) windows[RIGHT] = next; |
if(windows[RIGHT] == this) windows[RIGHT] = next; |
159 |
windowList.remove(this); |
windowList.remove(this); |
160 |
|
|
161 |
throw new UnsupportedOperationException("Closing not implemented in GraphicsAPI.Window"); |
throw new UnsupportedOperationException("Closing not implemented in GraphicsAPI.Window"); |
162 |
} |
} |
163 |
|
|
240 |
|
|
241 |
List getCursorColors(Cell c) { |
List getCursorColors(Cell c) { |
242 |
List l = null; |
List l = null; |
243 |
for(int i=0; i<windows.length; i++) { |
for(int i=0; i<windowList.size(); i++) { |
244 |
if(c.equals(windows[i].cursor)) { |
Win w = (Win)windowList.get(i); |
245 |
|
if(c.equals(w.cursor)) { |
246 |
if(l == null) l = new ArrayList(1); |
if(l == null) l = new ArrayList(1); |
247 |
l.add(windows[i].col); |
l.add(w.col); |
248 |
} |
} |
249 |
} |
} |
250 |
return l; |
return l; |
266 |
} |
} |
267 |
} |
} |
268 |
|
|
269 |
|
public Win newWindow(Cell cursor) { |
270 |
|
if(cursor == null) cursor = space.getHomeCell(); |
271 |
|
Random r = new Random(); |
272 |
|
Win w = new Win(new LightColorScheme(r.nextFloat())); |
273 |
|
w.cursor = cursor; |
274 |
|
windowList.add(w); |
275 |
|
return w; |
276 |
|
} |
277 |
|
|
278 |
public Fallback(Cell start, FallbackDim[] dimList, |
public Fallback(Cell start, FallbackDim[] dimList, |
279 |
View[] viewList, Filer.Group filers) { |
View[] viewList, Filer.Group filers) { |
280 |
this.dimList = dimList; |
this.dimList = dimList; |