See releasenotes for 1.8.0

Scripts/appversion.js

@@ -1 +1 @@
-const appversion = "1.7.6";
+const appversion = "1.8.0";

Scripts/colormode.js

@@ -7,10 +7,12 @@ const overallThemeToOverleaf = {
 };
 
 function switchColorModePDF() {
-    if (current_colorscheme_preference == "dark") {
-        $(".pdf-viewer .pdfjs-viewer .page").addClass("conditional-invert-colors");
-    } else if (current_colorscheme_preference == "light") {
-        $(".pdf-viewer .pdfjs-viewer .page").removeClass("conditional-invert-colors");
+    if (up_colormode_switching_pdf == true) {
+        if (current_colorscheme_preference == "dark") {
+            $(".pdf-viewer .pdfjs-viewer .page").addClass("conditional-invert-colors");
+        } else if (current_colorscheme_preference == "light") {
+            $(".pdf-viewer .pdfjs-viewer .page").removeClass("conditional-invert-colors");
+        }
     }
 }
 

Scripts/css.js

@@ -1,20 +1,21 @@
 // This file is not intended to run by itself, but is inserted into main.js
 
-// inserting CSS
-function addCSS() {
-    const css_text = `
+/**
+ * Function to insert CSS
+ */
+function setCSS() {
+    var css_text = `
         body {
             background-color: #fff;
             color: black;
         }
 
-        .loading-screen {
-            background-color: #fff;
+        #left-menu {
+            color: black;
         }
 
-        .native-overleaf-settings {
-            display: inline-block;
-            width: 260px;
+        .loading-screen {
+            background-color: #fff;
         }
 
         .settings-toggle {
@@ -228,6 +229,17 @@ function addCSS() {
             }
         }
     `;
+    // add the editor font family if specified
+    let editor_font_family = up_editor_font_family;
+    if (up_editor_font_family.length <= 0) {
+        editor_font_family = "inherit";
+    }
+    css_text += `
+        .cm-editor {
+            --source-font-family: ${editor_font_family} !important;
+        }`;
+
+    // set the CSS
     let styleSheet = document.createElement("style");
     styleSheet.innerText = css_text;
     document.head.appendChild(styleSheet);

Scripts/extension_writefull.js

@@ -0,0 +1,70 @@
+const extensionId = "opgfklgemimfakkhhenkjpebopabfjjd";
+
+// Release
+const writefullUrl = "https://storage.googleapis.com/writefull-cdn/writefull.js";
+
+let isRunning = false;
+document.addEventListener("readystatechange", (event) => {
+    isRunning = true;
+    console.log("Writefull");
+
+    if (
+        document.readyState === "interactive" ||
+        (document.readyState === "complete" && !window._writefull && !isRunning)
+    ) {
+        console.log("Writefull readystatechange");
+        const scriptCM6 = document.createElement("script");
+        scriptCM6.type = "text/javascript";
+        scriptCM6.innerHTML = `
+      window.addEventListener('UNSTABLE_editor:extensions', (event) => {
+        if (event.detail) {
+          const { CodeMirror, extensions } = event.detail;
+
+          window._writefull = {
+            ...CodeMirror,
+            extensions
+          }
+        }
+
+        if (window.w$) {
+          w$.reloadEditor();
+        }
+      });
+      window.addEventListener('editor:extensions', (event) => {
+        if (event.detail) {
+          const { CodeMirror, extensions } = event.detail;
+
+          window._writefull = {
+            ...CodeMirror,
+            extensions
+          }
+        }
+
+        if (window.w$) {
+          w$.reloadEditor();
+        }
+      });
+    `;
+        document.body.append(scriptCM6);
+        setTimeout(() => {
+            scriptCM6.remove();
+        }, 0);
+        isRunning = false;
+    }
+});
+
+const load = function () {
+    setTimeout(function () {
+        const script = document.createElement("script");
+        script.src = `${writefullUrl}?ts=${+new Date()}`;
+        console.log(script.src);
+        script.type = "text/javascript";
+        document.body.append(script);
+        console.log("Writefull appended!");
+        console.log(document.body);
+        setTimeout(() => {
+            script.remove();
+        }, 0);
+    }, 1000);
+};
+window.addEventListener("load", load);

Scripts/main.js

@@ -45,13 +45,14 @@ if (window.matchMedia) {
 <<insert="wordcount.js">>
 <<insert="backup.js">>
 <<insert="chart.js">>
+// <<insert="extension_writefull.js">>
 
 // start
 const startTime = performance.now();
 setupColormode()
 setupNotifications()
 setupPreferencesPane()
-addCSS()
+setCSS()
 setAutoUpdateChecking()
 setupWordCount()
 showChangelogIfUpdated()

Scripts/preferences.js

@@ -34,6 +34,7 @@ let up_editortheme_light = localStorage.getObject("editortheme_light", editorThe
 let up_wordcount_tracking = localStorage.getObject("wordcount_tracking", true); // whether wordcount tracking is enabled
 let up_wordcount_dailytarget = localStorage.getObject("wordcount_dailytarget", 200); // net number of words that must be produced daily
 let up_wordcount_notificationhour = localStorage.getObject("wordcount_notificationhour", 18); // hour of the day at which the user is notified whether they have achieved their goal
+let up_editor_font_family = localStorage.getObject("editor_font_family", "");
 
 // user preferences boundaries
 let up_wordcount_dailytarget_min = 1;
@@ -111,6 +112,10 @@ function setupPreferencesPane() {
                         <span class="settings-toggle-label">Resolved suggestions</span>
                     </label>
                 <hr/>
+                <h6>Customizations</h6>
+                    <label>Editor font family <br/><i>(leave empty for default)</i></label>
+                    <input id="editor_font_family" type="text"/>
+                <hr/>
                 <h6>Dark / Light Mode</h6>
                     <label class="settings-toggle">
                         <input id="colormode_switching" class="settings-toggle-checkbox" type="checkbox">
@@ -199,6 +204,7 @@ function setupPreferencesPane() {
         settings_form.querySelector("#wordcount_tracking").checked = up_wordcount_tracking;
         settings_form.querySelector("#wordcount_dailytarget").value = up_wordcount_dailytarget;
         settings_form.querySelector("#wordcount_notificationhour").value = up_wordcount_notificationhour;
+        settings_form.querySelector("#editor_font_family").value = up_editor_font_family;
 
         // set the disabled values where necessary
         settings_form.querySelector("#colormode_switching_pdf").disabled = !up_colormode_switching;
@@ -254,6 +260,7 @@ const settings_handler = {
     wordcount_tracking: set_wordcount_tracking,
     wordcount_dailytarget: set_wordcount_dailytarget,
     wordcount_notificationhour: set_wordcount_notificationhour,
+    editor_font_family: set_editor_font_family,
 };
 
 function set_notifications_tracked_changes_created(key, value) {
@@ -384,6 +391,18 @@ function set_notifications_comment_response(key, value) {
     }
 }
 
+//
+// Customization
+//
+
+function set_editor_font_family(key, value) {
+    if (value.value != up_editor_font_family) {
+        up_editor_font_family = value.value;
+        localStorage.setObject(key, value.value);
+        setCSS();
+    }
+}
+
 //
 // Themes
 //

Scripts/update.js

@@ -52,6 +52,7 @@ async function checkForUpdate(reportAll = false) {
     // first check if we have not already notified the user of this latest version
     const previous_version_checked = localStorage.getObject("previous_version_checked");
     if (
+        reportAll == false &&
         previous_version_checked !== undefined &&
         semanticVersionCompare(latest_version, previous_version_checked) == 0
     ) {

Scripts/util.js

@@ -12,12 +12,23 @@ Storage.prototype.getObject = function (key, defaultvalue = undefined) {
     return defaultvalue;
 };
 
-// function that returns the current local date of the user as a "YYYY-MM-DD" formatted string
+/**
+ * Function that returns the current local date of the user as a "YYYY-MM-DD" formatted string
+ */
 function getLocalDate() {
     return new Date().toLocaleDateString("en-CA");
 }
 
-// function to retrieve the ShowdownJS library for converting Markdown to HTML
+/**
+ * Function to get the time in seconds since epoch
+ */
+function getTimeInSeconds() {
+    return Math.round(new Date().getTime() / 1000);
+}
+
+/**
+ * Function to retrieve the ShowdownJS library for converting Markdown to HTML
+ */
 async function insertShowdownJS() {
     $.ajaxSetup({ cache: true });
     return $.when($.getScript("https://cdnjs.cloudflare.com/ajax/libs/showdown/2.1.0/showdown.min.js"))
@@ -29,7 +40,13 @@ async function insertShowdownJS() {
         });
 }
 
-// function that injects dialog HTML code in the proper location, adds close button and close-when-clicked-outside and returns reference to the element
+/**
+ * Function that injects dialog HTML code in the proper location, adds close button and close-when-clicked-outside and returns reference to the element
+ * @param {Number} id
+ * @param {string} innerhtml
+ * @param {string} insertionselector
+ * @returns
+ */
 function injectDialog(id, innerhtml, insertionselector = "body") {
     const html = `<dialog id=${id}>
                     <span id="closebutton" class="close">&times;</span>
@@ -56,7 +73,15 @@ function injectDialog(id, innerhtml, insertionselector = "body") {
     return dialog;
 }
 
-// function that checks a function returning a boolean and backs off for waitTime duration if it is not yet true, maximum numberOfTimesToCheck times
+/**
+ * Function that checks a function returning a boolean and backs off for waitTime seconds. If it is not yet true, maximum numberOfTimesToCheck times.
+ * @param {Function} checkFunction
+ * @param {Number} waitTime
+ * @param {Number} numberOfTimesToCheck
+ * @param {Number} multiplyWaitTime
+ * @param {Number} numberOfTimesChecked
+ * @returns
+ */
 function recursiveCheckAndWait(
     checkFunction,
     waitTime,
@@ -94,7 +119,9 @@ function recursiveCheckAndWait(
     }
 }
 
-// function for mapping the difference between two objects
+/**
+ * Function for mapping the difference between two objects
+ */
 const deepDiffMapper = (function () {
     return {
         VALUE_CREATED: "created",

Scripts/wordcount.js

@@ -133,6 +133,7 @@ function setHasBeenNotified(value) {
 }
 
 // setup the repeated execution of updateWordCount
+var last_compile_wordcount_time = -60;
 async function setupWordCount() {
     if (up_wordcount_tracking == true) {
         if (this.project_id === undefined) {
@@ -143,13 +144,19 @@ async function setupWordCount() {
         if ((await waitUntilPDFCompiled()) != false) {
             // set the initial word count on load
             updateWordCount();
+            last_compile_wordcount_time = getTimeInSeconds();
 
             // set the observer for when the PDF is recompiled
             let pdf_element = getBackupElement(1);
             if (compilation_observer === undefined) {
                 compilation_observer = new MutationObserver(function (mutations) {
-                    console.log("PDF compiled, updating wordcount");
-                    updateWordCount();
+                    if (current_time - last_compile_wordcount_time < 60) {
+                        console.log("PDF compiled, but wordcount already recalculated in the last 60 seconds");
+                    } else {
+                        console.log("PDF compiled, updating wordcount");
+                        updateWordCount();
+                        last_compile_wordcount_time = getTimeInSeconds();
+                    }
                 });
             }
             compilation_observer.observe(pdf_element, {