From 313e032c40d92614ef5997838ebb2cc803869d0a Mon Sep 17 00:00:00 2001
From: "Egli Adrian (IT-SCI-API-PFI)" <adrian.egli@sbb.ch>
Date: Mon, 17 Jun 2019 18:20:49 +0200
Subject: [PATCH] load rebuid background: error fixed
---
flatland/utils/editor.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/flatland/utils/editor.py b/flatland/utils/editor.py
index d385f41e..bd7fd677 100644
--- a/flatland/utils/editor.py
+++ b/flatland/utils/editor.py
@@ -650,6 +650,7 @@ class EditorModel(object):
self.env.restart_agents()
self.env.reset(False, False)
self.init_agents_static = None
+ self.view.oRT.update_background()
self.fix_env()
self.set_env(self.env)
self.redraw()
--
GitLab