🧰: prevent numerical names from being used as playground names

LivelyKernel · Dec 13, 2023 · b872cb5 · b872cb5
1 parent 122b11c
commit b872cb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lively.ide/world.js b/lively.ide/world.js
@@ -556,7 +556,7 @@ export class LivelyWorld extends World {
     await this.whenEnvReady();
     let worldName;
     while (!worldName) {
-      worldName = await this.prompt(['New Playground\n', {}, 'Enter a name for this Playground:', { fontWeight: 'normal' }], { width: 400, hasFixedPosition: true, forceConfirm: true });
+      worldName = await this.prompt(['New Playground\n', {}, 'Enter a name for this Playground:', { fontWeight: 'normal' }], { width: 400, hasFixedPosition: true, forceConfirm: true, validate: (input) => !input.match(/^[0-9]+$/), errorMessage: 'No numbers as names!' });
       if (await this.isNotUnique(String(worldName))) {
         const override = await this.confirm('This Playground name is already taken. Do you want to override it?', {
           hasFixedPosition: true, width: 400