don't reload level header editor if level is worldmap

mchlnix · May 26, 2019 · 0330a9a · 0330a9a
1 parent 31e7b91
commit 0330a9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gui/MainWindow.py b/gui/MainWindow.py
@@ -625,7 +625,7 @@ def update_level(self, world, level, object_set=None):
         self.level_view.load_level(world=world, level=level, object_set=object_set)
         self.Fit()
 
-        if self.header_editor is not None:
+        if self.header_editor is not None and isinstance(level, Level):
             self.header_editor.reload_level()
 
         self.object_list.fill()