114 |
|
|
115 |
public Space space; |
public Space space; |
116 |
public View[] viewList; |
public View[] viewList; |
117 |
public FallbackBinder binder = new FallbackBinder(this); |
public DefaultBinder binder = new DefaultBinder(this); |
118 |
|
|
119 |
CellView cellView; |
CellView cellView; |
120 |
CellContentView cellContentView; |
CellContentView cellContentView; |
265 |
return viewList[viewIndex]; |
return viewList[viewIndex]; |
266 |
} |
} |
267 |
|
|
268 |
public void keystroke(String s) { binder.keystroke(s, this); } |
public void keystroke(String s) { getBinder().keystroke(s, this); } |
269 |
public void mouse(MouseEvent ev) {} |
public void mouse(MouseEvent ev) { getBinder().mouse(ev, this); } |
270 |
public void timeout(Object o) {} |
public void timeout(Object o) {} |
271 |
public void windowClosed() { binder.windowClosed(this); } |
public void windowClosed() { getBinder().windowClosed(this); } |
272 |
|
|
273 |
|
public FallbackBinder getBinder() { return binder; } |
274 |
|
|
275 |
Win(ColorScheme colors) { |
Win(ColorScheme colors) { |
276 |
for(int i=0; i<dimsIndices.length; i++) |
for(int i=0; i<dimsIndices.length; i++) |