Lines Matching refs:EditorUi

273 EditorUi.prototype.tabContainerHeight = 38;  class
278 EditorUi.prototype.getSelectedPageIndex = function()
286  EditorUi.prototype.getPageIndex = function(page)
309 EditorUi.prototype.getPageById = function(id)
328 EditorUi.prototype.createImageForPageLink = function(src, sourcePage, sourceGraph)
355 EditorUi.prototype.getImageForPage = function(page, sourcePage, sourceGraph)
398 EditorUi.prototype.initPages = function()
543 EditorUi.prototype.restoreViewState = function(page, viewState, selection)
898 EditorUi.prototype.updatePageRoot = function(page, checked)
954 EditorUi.prototype.selectPage = function(page, quiet, viewState)
996 EditorUi.prototype.selectNextPage = function(forward)
1018 EditorUi.prototype.insertPage = function(page, index)
1041 EditorUi.prototype.createPageId = function()
1056 EditorUi.prototype.createPage = function(name, id)
1067 EditorUi.prototype.createPageName = function()
1098 EditorUi.prototype.removePage = function(page)
1159 EditorUi.prototype.duplicatePage = function(page, name)
1210 EditorUi.prototype.renamePage = function(page)
1233 EditorUi.prototype.movePage = function(oldIndex, newIndex)
1241 EditorUi.prototype.createTabContainer = function()
1256 EditorUi.prototype.updateTabContainer = function()
1419 EditorUi.prototype.isPageInsertTabVisible = function()
1428 EditorUi.prototype.createTab = function(hoverEnabled)
1471 EditorUi.prototype.createControlTab = function(paddingTop, html, hoverEnabled)
1491 EditorUi.prototype.createPageMenuTab = function(hoverEnabled)
1597 EditorUi.prototype.createPageInsertTab = function()
1620 EditorUi.prototype.createTabForPage = function(page, tabWidth, hoverEnabled, pageNumber)
1645 EditorUi.prototype.addTabListeners = function(page, tab)
1711 EditorUi.prototype.getLinkForPage = function(page, params, lightbox)
1713 	if (!mxClient.IS_CHROMEAPP && !EditorUi.isElectronApp)
1728 			return ((lightbox && urlParams['dev'] != '1') ? EditorUi.lightboxHost :
1729 				(((mxClient.IS_CHROMEAPP || EditorUi.isElectronApp ||
1731 				EditorUi.drawHost : 'https://' + window.location.host))) +
1742 EditorUi.prototype.createPageMenu = function(page, label)
1811 		if (!mxClient.IS_CHROMEAPP && !EditorUi.isElectronApp && this.getServiceName() == 'draw.io')
1826 	var editorUiRefresh = EditorUi.prototype.refresh;
1828 	EditorUi.prototype.refresh = function(sizeDidChange)