an> setoptionsedit
                                   <span style="color:navy"><b>DEFAULT</b></span> defaultoptionsedit;
        <span style="color:navy"><b>PROPERTY</b></span> optionsedit1: optionsedit1ty <span style="color:navy"><b>READ</b></span> foptionsedit1
                              <span style="color:navy"><b>WRITE</b></span> setoptionsedit1 <span style="color:navy"><b>DEFAULT</b></span> defaultoptionsedit1;
        <span style="color:navy"><b>PROPERTY</b></span> onchange: notifyeventty <span sty