22.1.15 release

jgraph · Dec 27, 2023 · cf93526 · cf93526
1 parent 8f00931
commit cf93526
Show file tree

Hide file tree

Showing 14 changed files with 73 additions and 65 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,9 @@
+27-DEC-2023: 21.1.15
+
+- Fixes NPE of undefined function emfDone [drawio-4072]
+- Prints current version number in clear.html
+- Fixes dark mode not persisted in some cases [drawio-desktop-1540]
+
 27-DEC-2023: 21.1.14
 
 - Fixes this.isVisioFilename undefined in Editor.js

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-22.1.14
+22.1.15
diff --git a/src/main/webapp/clear.html b/src/main/webapp/clear.html
@@ -7,6 +7,7 @@
 	<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
 </head>
 <body style="font-size: large;">
+	<script src="js/app.min.js"></script>
 	<script src="js/clear.js"></script>
 </body>
 </html>
diff --git a/src/main/webapp/js/app.min.js b/src/main/webapp/js/app.min.js
diff --git a/src/main/webapp/js/clear.js b/src/main/webapp/js/clear.js
@@ -11,7 +11,7 @@ try
 		document.body.appendChild(document.createElement('br'));
 	};
 
-	write('Clearing Cache...');
+	write('Clearing Cached version ' + EditorUi.VERSION + '...');
 
 	navigator.serviceWorker.getRegistrations().then(function(registrations)
 	{

diff --git a/src/main/webapp/js/diagramly/EditorUi.js b/src/main/webapp/js/diagramly/EditorUi.js
@@ -13135,7 +13135,7 @@
 		if (urlParams['ui'] == null && value != 'auto' && theme != 'atlas' &&
 			theme != 'min' && theme != 'sketch' && theme != 'simple')
 		{
-			this.setCurrentTheme((!Editor.isDarkMode()) ? 'kennedy' : 'dark', true);
+			this.setCurrentTheme((!value) ? 'kennedy' : 'dark', true);
 		}
 	};
 

diff --git a/src/main/webapp/js/diagramly/vsdx/importer.js b/src/main/webapp/js/diagramly/vsdx/importer.js
@@ -450,7 +450,8 @@ var com;
 	                            		}
 	                            		else
                             			{
-	                            			emfDone();
+	                            			processedFiles++;
+			        	                    doneCheck();
                             			}
 	                            	}
 	                            	else if ((function (str, searchString) { var pos = str.length - searchString.length; var lastIndex = str.indexOf(searchString, pos); return lastIndex !== -1 && lastIndex === pos; })(name, ".bmp")) {

diff --git a/src/main/webapp/js/extensions.min.js b/src/main/webapp/js/extensions.min.js