From 5d49aa0e1aef7a6b7eeac549bb5cebadcb94b99e Mon Sep 17 00:00:00 2001 From: Bolun <36321182+BolunDai0216@users.noreply.github.com> Date: Mon, 27 Mar 2023 11:55:56 -0400 Subject: [PATCH] Change the default screen size to 640 (#340) Co-authored-by: Mark Towers --- minigrid/minigrid_env.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/minigrid/minigrid_env.py b/minigrid/minigrid_env.py index 9786fb5e3..910435fc1 100755 --- a/minigrid/minigrid_env.py +++ b/minigrid/minigrid_env.py @@ -41,7 +41,7 @@ def __init__( see_through_walls: bool = False, agent_view_size: int = 7, render_mode: str | None = None, - screen_size: int | None = 1, + screen_size: int | None = 640, highlight: bool = True, tile_size: int = TILE_PIXELS, agent_pov: bool = False, @@ -197,7 +197,6 @@ def __str__(self): output = "" for j in range(self.grid.height): - for i in range(self.grid.width): if i == self.agent_pos[0] and j == self.agent_pos[1]: output += 2 * AGENT_DIR_TO_STR[self.agent_dir] @@ -731,7 +730,6 @@ def get_frame( return self.get_full_render(highlight, tile_size) def render(self): - img = self.get_frame(self.highlight, self.tile_size, self.agent_pov) if self.render_mode == "human":