26 |
import gzz.*; |
import gzz.*; |
27 |
import gzz.util.*; |
import gzz.util.*; |
28 |
import gzz.errors.*; |
import gzz.errors.*; |
29 |
import java.util.Set; |
import java.util.*; |
30 |
|
|
31 |
/** A CellManager which uses the class Cell directly, and where |
/** A CellManager which uses the class Cell directly, and where |
32 |
* all cells exist. Cell ids are generated using a RandomNamespace |
* all cells exist. Cell ids are generated using a RandomNamespace |
47 |
return true; |
return true; |
48 |
} |
} |
49 |
public void delete(Cell c) { |
public void delete(Cell c) { |
50 |
|
for(Iterator i=space.getDims().iterator(); i.hasNext();) { |
51 |
|
Dim d = (Dim)i.next(); |
52 |
|
d.excise(c); |
53 |
|
} |
54 |
|
|
55 |
|
space.getCellTexter().setText(c, ""); |
56 |
} |
} |
57 |
} |
} |
58 |
|
|