if (oldRows != numRows || oldCols != numCols) fireScreenSizeChanged();
	public final void setRowsCols(int rows, int cols) {		// default number of rows and columns		numRows = rows;		numCols = cols;		lenScreen = numRows * numCols;      planes.setSize(rows);	}