Lines Matching refs:document

350 					if (editorUi.spinner.spin(document.body, mxResources.get('loading')))
636 				var div = document.createElement('div');
638 				var title = document.createElement('span');
643 				var pluginsSelect = document.createElement('select');
648 					var option = document.createElement('option');
658 				title = document.createElement('span');
786 … && paths[0] != null && paths[0].indexOf('-') != 0 && this.spinner.spin(document.body, mxResources…
903 								if (this.spinner.spin(document.body, mxResources.get('updatingDocument')))
1247 				if (this.ui.spinner.spin(document.body, mxResources.get('loading')))
1630 		if (noSpin || this.spinner.spin(document.body, mxResources.get('saving')))
1693 		document.querySelectorAll('.geMenuItem').forEach(i => i.style.webkitAppRegion = 'no-drag');
1694 		var menubarContainer = document.querySelector('.geMenubarContainer');
1706 		this.windowControls = document.createElement('div');
1746 …document.querySelectorAll('#geWindow-controls .button').forEach(b => b.className = 'button dark');…
1751 …document.querySelectorAll('#geWindow-controls .button').forEach(b => b.className = 'button white');
1784 	    document.getElementById('min-button').addEventListener("click", event => {
1788 	    document.getElementById('max-button').addEventListener("click", event => {
1792 	    document.getElementById('restore-button').addEventListener("click", event => {
1796 	    document.getElementById('close-button').addEventListener("click", event => {
1808 	            document.body.classList.add('geMaximized');
1810 	            document.body.classList.remove('geMaximized');
1856 		if (xhr != null && this.spinner.spin(document.body, mxResources.get('saving')))