Tools Extension Editor Estimated reading: 1 minute On this page all loaded extensions are listed (fig.1). By clicking on the “+” symbol of a folder, the content of this folder will be displayed. By clicking on the “-” symbol of a folder, the content will be hidden. Fig.1: Extensiontree After clicking on the name of a folder or file, a menu opens (fig.2) which gives you following options: edit (a syntax highlighting editor pops up) or download the selected file create a new file or folder rename/delete the selected file/folder upload a file Fig.2: Extension-Menu You can upload one or multiple files from a folder in the extensiontree (fig. 3) or from your computer (fig. 4) by dragging & dropping them onto a folder. Fig.3: Drag & Drop from extensiontree Fig.4: Drag & Drop from computer
