From 40f8e4505d9df5cc149f36c9970ca6bc8c070a41 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sun, 17 May 2020 11:51:59 -0700 Subject: [PATCH] Slightly more efficient to just print the string. --- joy/gui/world.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/joy/gui/world.py b/joy/gui/world.py index 48cbbdd..4712f86 100644 --- a/joy/gui/world.py +++ b/joy/gui/world.py @@ -167,7 +167,7 @@ class StackWorld(StackDisplayWorld): self.viewer.update_stack(self.stack) def print_stack(self): - print('%s . ' % stack_to_string(self.stack), end='') + print(stack_to_string(self.stack), '•', end=' ') if self.viewer: self.viewer.update_stack(self.stack)