1.2.8.5.2.2.  Pool settings

  • Pool settings:

    • Clean class pool:

    • Clean document pool:

    • Delete unused files:

  • Enable document pool: Enabled by default

    A pool directory is created below the *.prj and *.def files.

    Pool name: "_pool" [default]

    Pool levels: 3 [default]

    Relevant if files are located next to the project and many projects are on the same level in the file system.

  • Enable class pool:

    Pool name:

    Pool levels: