43 DiagramPage.prototype.viewState = null;  method in DiagramPage
136 function SelectPage(ui, page, viewState)  argument
145 		this.neverShown = page.viewState == null;
148 		if (viewState != null)
150 			page.viewState = viewState;
172 		page.viewState = graph.getViewState();
199 		graph.setViewState(page.viewState);
458 				if (p.viewState == null || p.viewState.scrollLeft == null)
476 …			graph.container.scrollLeft = graph.view.translate.x * graph.view.scale + p.viewState.scrollLeft;
477 					graph.container.scrollTop = graph.view.translate.y * graph.view.scale + p.viewState.scrollTop;
543 EditorUi.prototype.restoreViewState = function(page, viewState, selection)  argument
552 			this.selectPage(newPage, true, viewState);
557 			graph.setViewState(viewState);
563 		graph.container.scrollLeft = graph.view.translate.x * graph.view.scale + viewState.scrollLeft;
564 		graph.container.scrollTop = graph.view.translate.y * graph.view.scale + viewState.scrollTop;
914 			page.viewState = this.editor.graph.createViewState(node);
924 	else if (page.viewState == null)
944 			page.viewState = this.editor.graph.createViewState(page.graphModelNode);	
954 EditorUi.prototype.selectPage = function(page, quiet, viewState)  argument
974 			var change = new SelectPage(this, page, viewState);
1183 			newPage.viewState = graph.getViewState();
1186 			newPage.viewState.scale = 1;
1187 			newPage.viewState.scrollLeft = null;
1188 			newPage.viewState.scrollTop = null;
1189 			newPage.viewState.currentRoot = null;
1190 			newPage.viewState.defaultParent = null;
1907 			if (obj.relatedPage.viewState != null)
1910 	        		obj.relatedPage.viewState, function(key, value)
1941 				obj.relatedPage.viewState = JSON.parse(vs);