Lines Matching refs:extensions
672 { name: 'draw.io Plugins', extensions: ['js'] },
673 { name: 'All Files', extensions: ['*'] }
987 { name: 'draw.io Diagrams', extensions: ['drawio', 'xml', 'png', 'svg', 'html'] },
988 { name: 'VSDX Documents', extensions: ['vsdx'] },
989 { name: 'All Files', extensions: ['*'] }
1541 extensions: [this.editor.diagramFileTypes[i].extension]}; property in App.createFileSystemFilters.obj
2071 { name: 'PNG Images', extensions: ['png'] }
2077 { name: 'JPEG Images', extensions: ['jpg', 'jpeg'] }
2082 { name: 'SVG Images', extensions: ['svg'] }
2087 { name: 'PDF Documents', extensions: ['pdf'] }
2092 { name: 'VSDX Documents', extensions: ['vsdx'] }
2097 { name: 'HTML Documents', extensions: ['html'] }
2102 { name: 'XML Documents', extensions: ['xml'] }