private void updateMap()
{
Tile[,] view = ge.getMapView();
string text_view = "";
for (int i = 0; i < height; ++i)
{
for (int j = 0; j < width; ++j)
{
text_view += this.getRepresentation(view[i, j]) + (j == (width - 1)?"":" ");
}
text_view += '\n';
}
gameviewLabel.Text = text_view;
}