Show if partner is online

2023-09-04 16:22:00 +02:00
parent 97764bd02e
commit 056a8e5107
7 changed files with 49 additions and 7 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@ -1044,6 +1044,17 @@ var CodeOceanEditor = {
          delta_data.text === last_delta.text;
    },

+    showPartnersConnectionStatus: function (status, username) {
+        switch(status) {
+            case 'connected':
+                $('#pg_session').text(I18n.t('exercises.editor.is_online', {name: username}));
+                break;
+            case 'disconnected':
+                $('#pg_session').text(I18n.t('exercises.editor.is_offline', {name: username}));
+                break;
+        }
+    },
+
    initializeEverything: function () {
        CodeOceanEditor.editors = [];
        this.initializeRegexes();
--- a/app/assets/javascripts/editor/submissions.js
+++ b/app/assets/javascripts/editor/submissions.js
@ -3,7 +3,7 @@ CodeOceanEditorSubmissions = {

  AUTOSAVE_INTERVAL: 15 * 1000,
  autosaveTimer: null,
-  autosaveLabel: "#statusbar span",
+  autosaveLabel: "#statusbar #autosave",

  /**
   * Submission-Creation