File Properties

Table of Contents

File Properties Editor

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):

file manager bar

The following window will appear. Click on one of the tab below to learn more about its options:


If the selected file is an HTML page, you have four tabs: Properties, Security, Associated Script and Dependencies. Otherwise you only have the Properties one.

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 2018. All rights reserved