From ada59c041ab3bf05d7a5c5bb6592fe18ed952215 Mon Sep 17 00:00:00 2001 From: Rubiidev / Circle IDE Owner <158863401+Rubiidev-18@users.noreply.github.com> Date: Tue, 6 Feb 2024 16:21:09 -0700 Subject: [PATCH] Text changes --- src/playground/render-interface.jsx | 20 +++++++++----------- 1 file changed, 9 insertions(+), 11 deletions(-) diff --git a/src/playground/render-interface.jsx b/src/playground/render-interface.jsx index 4e27eb597c6..3709f543027 100644 --- a/src/playground/render-interface.jsx +++ b/src/playground/render-interface.jsx @@ -116,7 +116,7 @@ const Footer = () => (
@@ -244,9 +239,9 @@ class Interface extends React.Component { } handleUpdateProjectTitle(title, isDefault) { if (isDefault || !title) { - document.title = `Circle IDE - ${this.props.intl.formatMessage(messages.defaultTitle)}`; + document.title = `Circle IDE | ${this.props.intl.formatMessage(messages.defaultTitle)}`; } else { - document.title = `${title} - Circle IDE`; + document.title = `${title} | Circle IDE`; } } render() { @@ -303,7 +298,10 @@ class Interface extends React.Component { {isHomepage ? (If you would like your extension removed/added to Circle IDE, please contact us in some way.
+If you would like your extension removed/added to Circle IDE, please contact us in some way. Common way is @-sodium_test- on scratch.
+New extensions coming soon!