Lines Matching refs:pre
4514 var PopupDialog = function(editorUi, url, pre, fallback, hideDialog) argument
4552 if (pre != null)
4554 pre();
7879 var pre = document.createElement('pre');
7880 pre.style.boxSizing = 'border-box';
7881 pre.style.fontFamily = 'inherit';
7882 pre.style.margin = '20px';
7883 pre.style.right = '0px';
7884 pre.style.textAlign = 'left';
7885 mxUtils.write(pre, entry.desc);
7886 preview.appendChild(pre);