public void dimGameSpace(GameSpace s) { s.setTileShader(standardTileShader); }
public void highlightGameSpace(GameSpace s) { s.setTileShader(hoverTileShader); }