always compress URL

leanprover-community · Sep 2, 2024 · 92dc673 · 92dc673
1 parent c814278
commit 92dc673
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 14 deletions.
diff --git a/client/src/App.tsx b/client/src/App.tsx
@@ -314,25 +314,25 @@ function App() {
       // LZ padds the string with trailing `=`, which mess up the argument parsing
       // and aren't needed for LZ encoding, so we remove them.
       const compressed = LZString.compressToBase64(code).replace(/=*$/, '')
-      // Note: probably temporary; might be worth to always compress as with whitespace encoding
-      // it needs very little for the compressed version to be shorter
-      const encodedCode = fixedEncodeURIComponent(code)
-      console.debug(`[Lean4web]: code length: ${encodedCode.length}, compressed: ${compressed.length}`)
-      if (compressed.length < encodedCode.length) {
+      // // Note: probably temporary; might be worth to always compress as with whitespace encoding
+      // // it needs very little for the compressed version to be shorter
+      // const encodedCode = fixedEncodeURIComponent(code)
+      // console.debug(`[Lean4web]: code length: ${encodedCode.length}, compressed: ${compressed.length}`)
+      // if (compressed.length < encodedCode.length) {
         args = {
           project: _project,
           url: null,
           code: null,
           codez: compressed
         }
-      } else {
-        args = {
-          project: _project,
-          url: null,
-          code: encodedCode,
-          codez: null
-        }
-      }
+      // } else {
+      //   args = {
+      //     project: _project,
+      //     url: null,
+      //     code: encodedCode,
+      //     codez: null
+      //   }
+      // }
     } else {
       args = {
         project: _project,

diff --git a/client/src/Popups/Settings.tsx b/client/src/Popups/Settings.tsx
@@ -118,7 +118,7 @@ const SettingsPopup: FC<{
       <p>
         <Switch id="compress" onChange={() => {modifyPreferences("compress", !preferences.compress)}}
         checked={preferences.compress} />
-        <label htmlFor="compress">Compress code in URL (if shorter)</label>
+        <label htmlFor="compress">Compress code in URL</label>
       </p>
 
       <h2>Save</h2>