- versione 1.2.50

src/store/Modules/tools.ts

@@ -10571,7 +10571,7 @@ export const tools = {
 
       // Se stai lavorando su schermi o canvas ad alta densità (es. retina), potresti usare dpi = 144 o leggere dinamicamente:
       let dpi = shared_consts.PUNTI_PER_POLLICE; // 96 è il valore standard per 1x DPI
-      dpi = dpi * window.devicePixelRatio
+      dpi = dpi * window.devicePixelRatio;
       const mmPerInch = 25.4;
       return (myvalpx / dpi) * mmPerInch;
     } catch (e) {
@@ -10580,13 +10580,19 @@ export const tools = {
   },
   getURLByHostAndFilePath(filepath: string) {
     try {
-      let myurl = filepath.startsWith('/') ? tools.getHost() + filepath : tools.getHost() + '/' + filepath
-      return myurl
+      let myurl = filepath.startsWith('/')
+        ? tools.getHost() + filepath
+        : tools.getHost() + '/' + filepath;
+      return myurl;
     } catch (e) {
-      return filepath
+      return filepath;
     }
   },
 
+  getFileCompresso(filename: string) {
+    return this.removeFileExtension(filename) + `_compressed.pdf`;
+  }
+
   // FINE !
 
   // getLocale() {