From 6286a4e8bdbefbab69696481c9d78657cb04b4b2 Mon Sep 17 00:00:00 2001 From: Sergio Eduardo Castro Ceballos <72516762+SergioCasCeb@users.noreply.github.com> Date: Wed, 20 Dec 2023 19:12:40 +0100 Subject: [PATCH] Added Popup to link to new Playground - Added a new popup which will prompt the user to redirect to the new Playground as well as mentioning the closing of the old playground on april --- packages/web/index.html | 1188 +++++++++++++++++++-------------------- packages/web/script.js | 19 + packages/web/style.css | 122 ++++ 3 files changed, 725 insertions(+), 604 deletions(-) diff --git a/packages/web/index.html b/packages/web/index.html index b5c729444..8eb1d2690 100644 --- a/packages/web/index.html +++ b/packages/web/index.html @@ -14,119 +14,90 @@ --> - - - Eclipse Thingweb Playground | Validate and play with W3C Thing Descriptions - - - - - - - -