Merge pull request #297 from shorepine/bwhitman-patch-5

Update worldui.py
shorepine · Aug 3, 2024 · 00ecc07 · 00ecc07
2 parents c13accf + b682a9a
commit 00ecc07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tulip/shared/py/worldui.py b/tulip/shared/py/worldui.py
@@ -113,7 +113,7 @@ def run(screen):
     screen.deactivate_callback = deactivate
     screen.handle_keyboard=True
     screen.offset_y = 30
-    app.files = TextSection(120, "Latest files. Use world.download(name) to get them.", bgcolor=35)
+    app.files = TextSection(120, "Latest files. Use world.download(name) in the REPL to get them.", bgcolor=35)
     app.messages = TextSection(280, "Latest messages", bgcolor=0)
     app.entry = TextEntry(60, bgcolor=0)