*/
    private void setCurrentTile(Tile tile) {        // Update the old current tile's properties        if (currentTile != null) {            PropertiesTableModel model =                (PropertiesTableModel)tileProperties.getModel();            currentTile.setProperties(model.getProperties());        }        currentTile = tile;        updateTileInfo();        updateEnabledState();    }