
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head><meta content="text/html;charset=UTF-8" http-equiv="Content-Type"></head><body ><div style="font-family: Calibri, Verdana, Arial, sans-serif; font-size: 12pt;"><div>Yes to this idea!<br></div><br><div data-zbluepencil-ignore="true" style="" class="zmail_extra"><br><div id="Zm-_Id_-Sgn1">---- On Sat, 15 Feb 2020 10:31:45 -0500 <b>Michael Van Canneyt <michael@freepascal.org></b> wrote ----<br></div><br><blockquote style="border-left: 1px solid rgb(204, 204, 204); padding-left: 6px; margin: 0px 0px 0px 5px;"><div>Since there are already 9 boolean properties, it may be better to introduce a Options<br>set property and mark the others deprecated.<br></div></blockquote></div><div><br></div></div><br></body></html>