Properties for file compression, security, scripting and dependencies can be edited via the File Manager. To edit the properties of the files, select one or more files, then click Properties (or press Ctrl+P):
The following window will appear. Click on one of the tab below to learn more about its options:
You can see the name and the type of the selected file. If you have selected several files, HTML Executable displays “Multiple files” instead. If you leave the mouse cursor on this name, the full path to the file will be indicated in a small hint window.
Copyright G.D.G. Software 2019. All rights reserved