frontend/project: turn "on internet" banner into a modal

Author: haraldschilly

src/packages/frontend/app/util.ts

@@ -1,5 +1,11 @@
+import { webapp_client } from "@cocalc/frontend/webapp-client";
+
 export function blur_active_element(): void {
   if (document.activeElement == null) return;
   // otherwise, it'll be highlighted even when closed again
   (document.activeElement as any).blur?.();
 }
+
+export function getNow(): number {
+  return webapp_client.server_time().getTime();
+}

src/packages/frontend/app/verify-email-banner.tsx

@@ -15,6 +15,7 @@ import {
   useState,
   useTypedRedux,
 } from "@cocalc/frontend/app-framework";
+import { getNow } from "@cocalc/frontend/app/util";
 import { Icon, Paragraph, Text } from "@cocalc/frontend/components";
 import { labels } from "@cocalc/frontend/i18n";
 import * as LS from "@cocalc/frontend/misc/local-storage-typed";
@@ -29,7 +30,7 @@ export function VerifyEmail() {
 
   function doDismiss(save = true) {
     if (save) {
-      const now = webapp_client.server_time().getTime();
+      const now = getNow();
       LS.set(DISMISSED_KEY_LS, now);
     }
     setHide(true);
@@ -200,7 +201,7 @@ export function useShowVerifyEmail(): boolean {
     !email_address || !email_address_verified?.get(email_address);
 
   // we also do not show this for newly created accounts
-  const now = webapp_client.server_time().getTime();
+  const now = getNow();
   const oneDay = 1 * 24 * 60 * 60 * 1000;
   const notTooNew = created != null && now > created.getTime() + oneDay;
 

src/packages/frontend/i18n/common.ts

@@ -514,6 +514,11 @@ export const labels = defineMessages({
     id: "labels.close",
     defaultMessage: "Close",
   },
+  dismiss: {
+    id: "labels.dismiss",
+    defaultMessage: "Dismiss",
+    description: "Short label on a button to dismiss a dialog or modal",
+  },
   guide: {
     id: "labels.guide",
     defaultMessage: "Guide",

src/packages/frontend/i18n/trans/ar_EG.json

@@ -911,6 +911,7 @@
   "labels.deleted": "محذوف",
   "labels.description": "الوصف",
   "labels.disconnected": "غير متصل",
+  "labels.dismiss": "رفض",
   "labels.documentation": "التوثيق",
   "labels.download": "تنزيل",
   "labels.downloaded": "تم التنزيل",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. يمكنك أيضًا الضغط على العودة",
   "project.new.new-file-page.upload.description": "يمكنك إسقاط ملف أو أكثر هنا أو في قائمة ملفات المستكشف. اطلع على <A>التوثيق</A> لمزيد من الطرق لإضافة ملفاتك إلى مشروعك.",
   "project.new.new-file-page.upload.title": "تحميل الملفات إلى مشروعك",
+  "project.no-internet-modal.add-license": "إضافة الترخيص",
+  "project.no-internet-modal.info": "<strong>تم تعطيل الوصول إلى الإنترنت لهذا المشروع.</strong> هذا القيد يمنع تثبيت حزم Python (pip, conda) أو حزم R، واستخدام Git لاستنساخ المستودعات، وتنزيل مجموعات البيانات أو الوصول إلى واجهات برمجة التطبيقات. قد تتعطل الأوامر التي تحاول الوصول إلى الإنترنت أو تفشل في الاكتمال، حيث يتم حظر الاتصالات الشبكية لمنع الإساءة.",
+  "project.no-internet-modal.message": "لحل هذه المشكلة، <A1>تحتاج إلى تطبيق</A1> <A2>ترخيص صالح</A2> يوفر ترقيات أو <A3>شراء ترخيص</A3>.",
+  "project.no-internet-modal.title": "لا يوجد اتصال بالإنترنت",
   "project.open_file.what": "افتح الملف \"{path}\"",
   "project.page.ai-generate-document.content.label": "قدم وصفًا مفصلًا لوثيقة {docName} التي تريد إنشاؤها:",
   "project.page.ai-generate-document.content.placeholder": "وصف المحتوى...",

src/packages/frontend/i18n/trans/de_DE.json

@@ -911,6 +911,7 @@
   "labels.deleted": "gelöscht",
   "labels.description": "Beschreibung",
   "labels.disconnected": "Getrennt",
+  "labels.dismiss": "Verwerfen",
   "labels.documentation": "Dokumentation",
   "labels.download": "herunterladen",
   "labels.downloaded": "heruntergeladen",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. Sie können auch die Eingabetaste drücken.",
   "project.new.new-file-page.upload.description": "Sie können eine oder mehrere Dateien hier oder in der Explorer-Dateiliste ablegen. Siehe <A>Dokumentation</A> für weitere Möglichkeiten, Ihre Dateien in Ihr Projekt zu bekommen.",
   "project.new.new-file-page.upload.title": "Dateien in Ihr Projekt hochladen",
+  "project.no-internet-modal.add-license": "Lizenz hinzufügen",
+  "project.no-internet-modal.info": "<strong>Der Internetzugang ist für dieses Projekt deaktiviert.</strong> Diese Einschränkung verhindert die Installation von Python-Paketen (pip, conda) oder R-Paketen, die Verwendung von Git zum Klonen von Repositories, das Herunterladen von Datensätzen oder den Zugriff auf APIs. Befehle, die versuchen, auf das Internet zuzugreifen, können hängen bleiben oder nicht abgeschlossen werden, da Netzwerkverbindungen blockiert sind, um Missbrauch zu verhindern.",
+  "project.no-internet-modal.message": "Um dies zu beheben, müssen Sie eine <A2>gültige Lizenz</A2> anwenden, die Upgrades bereitstellt oder eine <A3>Lizenz kaufen</A3>.",
+  "project.no-internet-modal.title": "Kein Internetzugang",
   "project.open_file.what": "öffne die Datei \"{path}\"",
   "project.page.ai-generate-document.content.label": "Geben Sie eine detaillierte Beschreibung des {docName}-Dokuments, das Sie erstellen möchten:",
   "project.page.ai-generate-document.content.placeholder": "Inhalt beschreiben...",

src/packages/frontend/i18n/trans/es_ES.json

@@ -911,6 +911,7 @@
   "labels.deleted": "eliminado",
   "labels.description": "Descripción",
   "labels.disconnected": "Desconectado",
+  "labels.dismiss": "Cerrar",
   "labels.documentation": "Documentación",
   "labels.download": "descargar",
   "labels.downloaded": "descargado",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. También puede presionar return.",
   "project.new.new-file-page.upload.description": "Puedes soltar uno o más archivos aquí o en la lista de archivos del Explorador. Consulta la <A>documentación</A> para más formas de añadir tus archivos a tu proyecto.",
   "project.new.new-file-page.upload.title": "Subir archivos a tu proyecto",
+  "project.no-internet-modal.add-license": "Agregar licencia",
+  "project.no-internet-modal.info": "<strong>El acceso a Internet está deshabilitado para este proyecto.</strong> Esta restricción impide instalar paquetes de Python (pip, conda) o paquetes de R, usar Git para clonar repositorios, descargar conjuntos de datos o acceder a APIs. Los comandos que intenten acceder a internet pueden quedar bloqueados o no completarse, ya que las conexiones de red están bloqueadas para prevenir abusos.",
+  "project.no-internet-modal.message": "Para solucionar esto, <A1>necesitas aplicar</A1> una <A2>licencia válida</A2> que proporcione actualizaciones o <A3>comprar una licencia</A3>.",
+  "project.no-internet-modal.title": "Sin acceso a Internet",
   "project.open_file.what": "abre el archivo \"{path}\"",
   "project.page.ai-generate-document.content.label": "Proporcione una descripción detallada del documento {docName} que desea crear:",
   "project.page.ai-generate-document.content.placeholder": "Describir el contenido...",

src/packages/frontend/i18n/trans/fr_FR.json

@@ -911,6 +911,7 @@
   "labels.deleted": "supprimé",
   "labels.description": "Description",
   "labels.disconnected": "Déconnecté",
+  "labels.dismiss": "Ignorer",
   "labels.documentation": "Documentation",
   "labels.download": "télécharger",
   "labels.downloaded": "téléchargé",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. Vous pouvez également appuyer sur retour.",
   "project.new.new-file-page.upload.description": "Vous pouvez déposer un ou plusieurs fichiers ici ou dans la liste des fichiers de l'Explorateur. Voir <A>documentation</A> pour plus de moyens d'ajouter vos fichiers à votre projet.",
   "project.new.new-file-page.upload.title": "Télécharger des fichiers dans votre projet",
+  "project.no-internet-modal.add-license": "Ajouter une licence",
+  "project.no-internet-modal.info": "<strong>L'accès à Internet est désactivé pour ce projet.</strong> Cette restriction empêche l'installation de packages Python (pip, conda) ou de packages R, l'utilisation de Git pour cloner des dépôts, le téléchargement de jeux de données ou l'accès aux API. Les commandes qui tentent d'accéder à Internet peuvent se bloquer ou échouer à se terminer, car les connexions réseau sont bloquées pour prévenir les abus.",
+  "project.no-internet-modal.message": "Pour résoudre ce problème, vous <A1>devez appliquer</A1> une <A2>licence valide</A2> offrant des mises à jour ou <A3>acheter une licence</A3>.",
+  "project.no-internet-modal.title": "Pas d'accès Internet",
   "project.open_file.what": "ouvrir le fichier \"{path}\"",
   "project.page.ai-generate-document.content.label": "Fournissez une description détaillée du document {docName} que vous souhaitez créer :",
   "project.page.ai-generate-document.content.placeholder": "Décrire le contenu...",

src/packages/frontend/i18n/trans/he_IL.json

@@ -911,6 +911,7 @@
   "labels.deleted": "נמחק",
   "labels.description": "תיאור",
   "labels.disconnected": "מנותק",
+  "labels.dismiss": "לדחות",
   "labels.documentation": "תיעוד",
   "labels.download": "הורדה",
   "labels.downloaded": "הורד",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. אתה יכול גם ללחוץ על אנטר",
   "project.new.new-file-page.upload.description": "ניתן לשחרר קובץ אחד או יותר כאן או ברשימת הקבצים ב-Explorer. ראה <A>תיעוד</A> לעוד דרכים להעלות את הקבצים שלך לפרויקט שלך.",
   "project.new.new-file-page.upload.title": "העלאת קבצים לפרויקט שלך",
+  "project.no-internet-modal.add-license": "הוסף רישיון",
+  "project.no-internet-modal.info": "<strong>הגישה לאינטרנט מושבתת עבור פרויקט זה.</strong> הגבלה זו מונעת התקנת חבילות פייתון (pip, conda) או חבילות R, שימוש ב-Git לשכפול מאגרים, הורדת מערכי נתונים או גישה ל-APIs. פקודות שמנסות לגשת לאינטרנט עשויות להיתקע או להיכשל בהשלמה, שכן חיבורים לרשת נחסמים למניעת ניצול לרעה.",
+  "project.no-internet-modal.message": "כדי לתקן זאת, אתה <A1>צריך להפעיל</A1> <A2>רישיון תקף</A2> המספק שדרוגים או <A3>לרכוש רישיון</A3>.",
+  "project.no-internet-modal.title": "אין גישה לאינטרנט",
   "project.open_file.what": "פתח את הקובץ \"{path}\"",
   "project.page.ai-generate-document.content.label": "ספק תיאור מפורט של המסמך {docName} שברצונך ליצור",
   "project.page.ai-generate-document.content.placeholder": "תאר את התוכן...",

src/packages/frontend/i18n/trans/hi_IN.json

@@ -911,6 +911,7 @@
   "labels.deleted": "हटाया गया",
   "labels.description": "विवरण",
   "labels.disconnected": "डिस्कनेक्टेड",
+  "labels.dismiss": "खारिज करें",
   "labels.documentation": "दस्तावेज़",
   "labels.download": "डाउनलोड",
   "labels.downloaded": "डाउनलोड किया गया",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. आप रिटर्न भी दबा सकते हैं.",
   "project.new.new-file-page.upload.description": "आप यहाँ या एक्सप्लोरर फाइल लिस्टिंग पर एक या अधिक फाइलें ड्रॉप कर सकते हैं। अपने प्रोजेक्ट में फाइलें लाने के और तरीके जानने के लिए <A>डॉक्यूमेंटेशन</A> देखें।",
   "project.new.new-file-page.upload.title": "अपनी परियोजना में फाइलें अपलोड करें",
+  "project.no-internet-modal.add-license": "लाइसेंस जोड़ें",
+  "project.no-internet-modal.info": "<strong>इस प्रोजेक्ट के लिए इंटरनेट एक्सेस अक्षम है।</strong> यह प्रतिबंध Python पैकेज (pip, conda) या R पैकेज को स्थापित करने, Git का उपयोग करके रिपॉजिटरी क्लोन करने, डेटा सेट डाउनलोड करने या API तक पहुंचने से रोकता है। जो कमांड इंटरनेट तक पहुंचने का प्रयास करते हैं, वे रुक सकते हैं या पूरा नहीं हो सकते, क्योंकि दुरुपयोग को रोकने के लिए नेटवर्क कनेक्शन अवरुद्ध हैं।",
+  "project.no-internet-modal.message": "इसे ठीक करने के लिए, आपको <A1>उन्नयन प्रदान करने वाला एक</A1> <A2>वैध लाइसेंस लागू करना</A2> या <A3>एक लाइसेंस खरीदना</A3> होगा।",
+  "project.no-internet-modal.title": "इंटरनेट एक्सेस नहीं",
   "project.open_file.what": "फ़ाइल \"{path}\" खोलें",
   "project.page.ai-generate-document.content.label": "उस {docName} दस्तावेज़ का विस्तृत विवरण प्रदान करें जिसे आप बनाना चाहते हैं:",
   "project.page.ai-generate-document.content.placeholder": "सामग्री का वर्णन करें...",

src/packages/frontend/i18n/trans/hu_HU.json

@@ -911,6 +911,7 @@
   "labels.deleted": "törölve",
   "labels.description": "Leírás",
   "labels.disconnected": "Kapcsolat megszakadt",
+  "labels.dismiss": "Elvetés",
   "labels.documentation": "Dokumentáció",
   "labels.download": "letöltés",
   "labels.downloaded": "letöltött",
@@ -1219,6 +1220,10 @@
   "project.new.new-file-page.create.tooltip": "{title}. A visszatérés gombot is megnyomhatja.",
   "project.new.new-file-page.upload.description": "Ide helyezhet egy vagy több fájlt, vagy az Explorer fájllistájára. További módszerekhez, hogy hogyan hozhatja be fájljait a projektbe, lásd a <A>dokumentációt</A>.",
   "project.new.new-file-page.upload.title": "Fájlok feltöltése a projektedbe",
+  "project.no-internet-modal.add-license": "Licenc hozzáadása",
+  "project.no-internet-modal.info": "<strong>Az internet-hozzáférés le van tiltva ehhez a projekthez.</strong> Ez a korlátozás megakadályozza a Python csomagok (pip, conda) vagy R csomagok telepítését, a Git használatát a tárolók klónozásához, az adatkészletek letöltését vagy az API-k elérését. Azok a parancsok, amelyek megpróbálnak csatlakozni az internethez, elakadhatnak vagy nem fejeződhetnek be, mivel a hálózati kapcsolatok blokkolva vannak a visszaélések megelőzése érdekében.",
+  "project.no-internet-modal.message": "A javításhoz <A1>érvényes licencet kell alkalmaznia</A1>, amely frissítéseket biztosít, vagy <A3>licencet kell vásárolnia</A3>.",
+  "project.no-internet-modal.title": "Nincs internetkapcsolat",
   "project.open_file.what": "nyisd meg a fájlt \"{path}\"",
   "project.page.ai-generate-document.content.label": "Adjon részletes leírást a létrehozni kívánt {docName} dokumentumról:",
   "project.page.ai-generate-document.content.placeholder": "Ismertesse a tartalmat...",