Skip to content

Commit

Permalink
Change the default screen size to 640 (#340)
Browse files Browse the repository at this point in the history
Co-authored-by: Mark Towers <[email protected]>
  • Loading branch information
BolunDai0216 and pseudo-rnd-thoughts authored Mar 27, 2023
1 parent 9203791 commit 5d49aa0
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions minigrid/minigrid_env.py
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand Down Expand Up @@ -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]
Expand Down Expand Up @@ -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":
Expand Down

0 comments on commit 5d49aa0

Please sign in to comment.