Merge branch '22-jw-editor-bugs' into 'master' (29a1fc19) · Commits · yoogottamk / Flatland · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Flatland
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

29a1fc19

Commit 29a1fc19 authored 5 years ago by Erik Nygren

:bullettrain_front:

Downloads
- Plain Diff

Merge branch '22-jw-editor-bugs' into 'master'

Resolve "Bug sliders for size... do not work"

Closes #21

See merge request flatland/flatland!24

parents 8de4afa6 8ef31ac3

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

env-data/tests/test-10x10.mpk 0 additions, 0 deletions

env-data/tests/test-10x10.mpk
flatland/envs/generators.py 15 additions, 0 deletions

flatland/envs/generators.py
flatland/envs/observations.py 2 additions, 1 deletion

flatland/envs/observations.py
flatland/utils/editor.py 76 additions, 19 deletions

flatland/utils/editor.py
flatland/utils/graphics_layer.py 1 addition, 1 deletion

flatland/utils/graphics_layer.py
flatland/utils/rendertools.py 2 additions, 2 deletions

flatland/utils/rendertools.py
notebooks/Editor2.ipynb 38 additions, 19 deletions

notebooks/Editor2.ipynb

with 134 additions and 42 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment