1.2.8.5.2.2. Pool Einstellungen

  • Pool settings:

    • Clean class pool:

    • Clean document pool:

    • Nicht verwendete Dateien löschen [Delete unused files]:

  • Enable document pool: Enabled by default

    Unterhalb der *.prj- und *.def-Dateien wird ein Poolverzeichnis angelegt.

    Pool name: "_pool" [default]

    Pool levels: 3 [default]

    Relevant, wenn Dateien neben dem Projekt liegen und viele Projekte sich auf derselben Ebene im Dateisystem befinden.

  • Enable class pool:

    Pool name:

    Pool-Ebenen [Pool levels]: