Lines Matching refs:editorUi
14 Draw.loadPlugin(function(editorUi) argument
22 editorUi.actions.addAction('hiddenTags...', function()
24 if (editorUi.hiddenTagsWindow == null)
26 …editorUi.hiddenTagsWindow = new HiddenTagsWindow(editorUi, document.body.offsetWidth - 380, 120, 3…
27 editorUi.hiddenTagsWindow.window.addListener('show', function()
29 editorUi.fireEvent(new mxEventObject('hiddenTags'));
31 editorUi.hiddenTagsWindow.window.addListener('hide', function()
33 editorUi.fireEvent(new mxEventObject('hiddenTags'));
35 editorUi.hiddenTagsWindow.window.setVisible(true);
36 editorUi.fireEvent(new mxEventObject('hiddenTags'));
40 editorUi.hiddenTagsWindow.window.setVisible(!editorUi.hiddenTagsWindow.window.isVisible());
44 var menu = editorUi.menus.get('extras');
51 editorUi.menus.addMenuItems(menu, ['-', 'hiddenTags'], parent);
54 var HiddenTagsWindow = function(editorUi, x, y, w, h) argument
56 var graph = editorUi.editor.graph;
84 var graph = editorUi.editor.graph;