Lines Matching refs:mxSettings

717 			var plugins = (mxSettings.settings != null) ? mxSettings.getPlugins() : null;
721 			if (mxSettings.settings == null && isLocalStorage && typeof(JSON) !== 'undefined')
725 					var temp = JSON.parse(localStorage.getItem(mxSettings.key));
1041 			if (mxSettings.settings != null)
1044 					mxSettings.settings.darkMode) ? Editor.darkColor : '#ffffff';
1046 				if (mxSettings.settings.autosaveDelay != null)
1048 					var val = parseInt(mxSettings.settings.autosaveDelay);
1061 				if (mxSettings.settings.defaultEdgeLength != null)
1063 					var val = parseInt(mxSettings.settings.defaultEdgeLength);
1125 						mxSettings.load();
1154 					mxSettings.load();
1180 							mxSettings.load();
1950 			(!isLocalStorage || mxSettings.settings == null ||
1951 			mxSettings.settings['close' + 'ratingFooter'] == null))
2029 					if (isLocalStorage && mxSettings.settings != null)
2031 						mxSettings.settings['close' + 'ratingFooter'] = Date.now();
2032 						mxSettings.save();
4374 						mxSettings.removeCustomLibrary(oldHash);
4375 						mxSettings.addCustomLibrary(file.getHash());
5462 	this.loadLibraries(mxSettings.getCustomLibraries(), mxUtils.bind(this, function()
5485 				mxSettings.removeCustomLibrary(id);
7774 		this.graph.pageFormat = mxSettings.getPageFormat();