Home
last modified time | relevance | path

Searched refs:extFonts (Results 1 – 8 of 8) sorted by relevance

/plugin/diagramsnet/lib/js/
Dexport.js309 function loadExtFonts(extFonts) argument
313 extFonts = extFonts.split('|').map(function(ef)
325 waitCounter += extFonts.length;
328 for (var i = 0; i < extFonts.length; i++)
330 if (extFonts[i].url.indexOf(Editor.GOOGLE_FONTS) == 0)
341 link.setAttribute('href', extFonts[i].url);
348 if (extFonts[i].url.indexOf(PROXY_URL) == 0 && PROXY_URL.indexOf('http') == -1)
352 extFonts[i].url = href + extFonts[i].url;
355 var font = new FontFace(extFonts[i].name, 'url(' + extFonts[i].url + ')');
415 var extFonts = xmlDoc.documentElement.getAttribute('extFonts');
[all …]
Dapp.min.js10508 …].url)}catch(O){console.log("ExtFonts format error: "+O.message)}else null!=this.graph.extFonts&&0<
10509 this.graph.extFonts.length&&(this.graph.extFonts=[])}b.apply(this,arguments)}else throw{message:mxR…
10510 …raph.shadowVisible?"1":"0");null!=this.graph.extFonts&&0<this.graph.extFonts.length&&(d=this.graph…
10621 …{div:p,refresh:n}};Graph.prototype.getCustomFonts=function(){var b=this.extFonts,b=null!=b?b.slice…
10672 …bled,C=x.viewState.background,D=x.viewState.backgroundImage,m.extFonts=x.viewState.extFonts);m.bac…
11791 Menus.prototype.init=function(){function b(b,c,d){this.ui=b;this.previousExtFonts=this.extFonts=c;t…
11922 …extFonts=this.previousExtFonts;for(var c=b.extFonts,d=0;null!=c&&d<c.length;d++){var e=document.ge…
11926 mxUtils.clone(this.editorUi.editor.graph.extFonts);if(null!=k&&0<k.length)for(e=0;e<k.length;e++)if…
11929 this.editorUi.editor.graph.extFonts;if(null!=q&&0<q.length){for(var l={},t=!1,k=0;k<this.customFont…
11931 …(d="w",e=f))):(d=f.style.FType||d,"w"==d&&(e=this.editorUi.editor.graph.extFonts,f=null,null!=e&&(…
[all …]
Dviewer.min.js3176 …].url)}catch(G){console.log("ExtFonts format error: "+G.message)}else null!=this.graph.extFonts&&0<
3177 this.graph.extFonts.length&&(this.graph.extFonts=[])}b.apply(this,arguments)}else throw{message:mxR…
3178 …raph.shadowVisible?"1":"0");null!=this.graph.extFonts&&0<this.graph.extFonts.length&&(e=this.graph…
3289 …{div:k,refresh:v}};Graph.prototype.getCustomFonts=function(){var b=this.extFonts,b=null!=b?b.slice…
3340 …bled,N=B.viewState.background,A=B.viewState.backgroundImage,l.extFonts=B.viewState.extFonts);l.bac…
Dviewer-static.min.js3176 …].url)}catch(G){console.log("ExtFonts format error: "+G.message)}else null!=this.graph.extFonts&&0<
3177 this.graph.extFonts.length&&(this.graph.extFonts=[])}b.apply(this,arguments)}else throw{message:mxR…
3178 …raph.shadowVisible?"1":"0");null!=this.graph.extFonts&&0<this.graph.extFonts.length&&(e=this.graph…
3289 …{div:k,refresh:v}};Graph.prototype.getCustomFonts=function(){var b=this.extFonts,b=null!=b?b.slice…
3340 …bled,N=B.viewState.background,A=B.viewState.backgroundImage,l.extFonts=B.viewState.extFonts);l.bac…
/plugin/diagramsnet/lib/js/diagramly/
DPages.js580 var extFonts = node.getAttribute('extFonts');
582 if (extFonts)
586 extFonts = extFonts.split('|').map(function(ef)
621 extFonts: extFonts || []
676 if (vs != null && vs.extFonts != null && vs.extFonts.length > 0)
678 node.setAttribute('extFonts', vs.extFonts.map(function(ef)
716 extFonts: this.extFonts
749 var oldExtFonts = this.extFonts;
750 this.extFonts = state.extFonts || [];
767 for (var i = 0; i < this.extFonts.length; i++)
[all …]
DMenus.js3950 function ChangeExtFonts(ui, extFonts, customFonts) argument
3953 this.extFonts = extFonts;
3954 this.previousExtFonts = extFonts;
3969 this.extFonts = this.previousExtFonts;
3970 var tmp = graph.extFonts;
3982 graph.extFonts = [];
4071 var extFonts = mxUtils.clone(this.editorUi.editor.graph.extFonts);
4073 if (extFonts != null && extFonts.length > 0)
4075 for (var i = 0; i < extFonts.length; i++)
4077 if (extFonts[i].name == fontName)
[all …]
DEditor.js2284 var extFonts = node.getAttribute('extFonts');
2286 if (extFonts)
2290 extFonts = extFonts.split('|').map(function(ef)
2296 for (var i = 0; i < extFonts.length; i++)
2298 this.graph.addExtFont(extFonts[i].name, extFonts[i].url);
2306 else if (this.graph.extFonts != null && this.graph.extFonts.length > 0)
2308 this.graph.extFonts = [];
2352 if (this.graph.extFonts != null && this.graph.extFonts.length > 0)
2354 var strExtFonts = this.graph.extFonts.map(function(ef)
3209 var extFonts = this.graph.getCustomFonts();
[all …]
DDiffSync.js29 foldingEnabled: true, pageScale: true, mathEnabled: true, pageFormat: true, extFonts: true};