With rev#79903 experimental, I don't get a precondition violation but a postcondition violation: option_set: Postcondition violated. (POSTCONDITION_VIOLATION) ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- EV_RICH_TEXT_IMP internal_change_word_wrapping @35 option_set: <0000000003B210EC> Postcondition violated. Fail ------------------------------------------------------------------------------- EV_RICH_TEXT_IMP internal_change_word_wrapping @35 <0000000003B210EC> Routine failure. Fail ------------------------------------------------------------------------------- EV_RICH_TEXT_IMP disable_word_wrapping @1 <0000000003B210EC> Routine failure. Fail ------------------------------------------------------------------------------- EV_RICH_TEXT disable_word_wrapping @2 <0000000002DF9F3C> (From EV_TEXT) Routine failure. Fail ------------------------------------------------------------------------------- MAIN_WINDOW build_main_container @9 <0000000002DF1920> Routine failure. Fail ------------------------------------------------------------------------------- MAIN_WINDOW initialize @3 <0000000002DF1920> Routine failure. Fail ------------------------------------------------------------------------------- MAIN_WINDOW default_create @6 <0000000002DF1920> (From EV_ANY) Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION prepare @1 <0000000002DF0420> Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION make_and_launch @2 <0000000002DF0420> Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION root's creation <0000000002DF0420> Routine failure. Exit ------------------------------------------------------------------------------- Call stack: ObjectClassRoutine ------------------ [0x38567F4] EV_RICH_TEXT_IMP internal_change_word_wrapping ( @ 35 ) [0x38567F4] EV_RICH_TEXT_IMP disable_word_wrapping ( @ 1 ) [0x38567FC] EV_RICH_TEXT disable_word_wrapping (From EV_TEXT) ( @ 2 ) [0x3856800] MAIN_WINDOW build_main_container <*> ( @ 9 ) [0x3856800] MAIN_WINDOW initialize ( @ 3 ) [0x3856800] MAIN_WINDOW default_create (From EV_ANY) ( @ 6 ) [0x3856804] APPLICATION prepare ( @ 1 ) [0x3856804] APPLICATION make_and_launch ( @ 2 )