On 19.11.2020 18:07, Michael Van Canneyt via lazarus wrote: > I'll post a feature request in the bugtracker. Yes, that is the best you can do :) Ondrej