On Sun, Nov 1, 2020 at 11:51 AM Michael Van Canneyt via lazarus <lazarus at lists.lazarus-ide.org> wrote: > Well, then the IDE codetools have an issue. It's a known issue, not yet fixed. -- Bart