10.0.12 release

ChangeLog

@@ -1,3 +1,7 @@
+28-DEC-2018: 10.0.12
+
+- Fixes possible select of deleted page
+
 28-DEC-2018: 10.0.11
 
 - Adds parameter check for connect apps

VERSION

@@ -1 +1 @@
-10.0.11
+10.0.12

src/main/webapp/cache.manifest

@@ -1,7 +1,7 @@
 CACHE MANIFEST
 
 # THIS FILE WAS GENERATED. DO NOT MODIFY!
-# 12/28/2018 11:33 AM
+# 12/28/2018 02:02 PM
 
 app.html
 index.html?offline=1

src/main/webapp/js/diagramly/DrawioFileSync.js

@@ -125,7 +125,7 @@ DrawioFileSync.prototype.maxCacheReadyRetries = 2;
 /**
  * Specifies if descriptor change events should be ignored.
  */
-DrawioFileSync.prototype.cacheReadyDelay = 500;
+DrawioFileSync.prototype.cacheReadyDelay = 600;
 
 /**
  * Specifies if notifications should be sent and received for changes.

src/main/webapp/js/diagramly/Menus.js

@@ -1339,7 +1339,7 @@
 
 		editorUi.actions.addAction('googleSlides...', function()
 		{
-			editorUi.openLink('https://chrome.google.com/webstore/detail/drawio-diagrams-for-slide/fpkolkefenbkgmffbllajompdnifgfdb');
+			editorUi.openLink('https://slidesaddon.draw.io');
 		});
 
 		editorUi.actions.addAction('googleSites...', function()

src/main/webapp/js/diagramly/Pages.js

@@ -835,8 +835,9 @@ EditorUi.prototype.createPageName = function()
 EditorUi.prototype.removePage = function(page)
 {
 	var graph = this.editor.graph;
+	var tmp = mxUtils.indexOf(this.pages, page);
 	
-	if (graph.isEnabled())
+	if (graph.isEnabled() && tmp >= 0)
 	{
 		if (this.editor.graph.isEditing())
 		{
@@ -850,8 +851,6 @@ EditorUi.prototype.removePage = function(page)
 			
 			if (next == page && this.pages.length > 1)
 			{
-				var tmp = mxUtils.indexOf(this.pages, page);
-				
 				if (tmp == this.pages.length - 1)
 				{
 					tmp--;