// set our title to the name of the tileset and the tile index
String title;
int tsid = TileUtil.getTileSetId(scobj.info.tileId);
int tidx = TileUtil.getTileIndex(scobj.info.tileId);
TileSet tset = null;
try {
tset = _ctx.getTileManager().getTileSet(tsid);
title = tset.getName() + ": " + tidx;
} catch (NoSuchTileSetException nstse) {
title = "Error(" + tsid + "): " + tidx;
}
title += " (" + StringUtil.coordsToString(_scobj.info.x, _scobj.info.y) + ")";
setTitle(title);