Re: [BUG] widget-field-overlay becomes wrong

[Lars Hansen]

Per Abrahamsen wrote:

> You cannot place an editable field next to a widget that which is
> going to be deleted (with @code{widget-delete}), or whose value is
> changed from with the function @code{widget-value-set}.  The
> @code{menu-choice}, @code{coding-system} and @code{color} widgets call
> @code{widget-value-set} when the user change their value, so these
> widgets (or widgets derived from them) should never be places next to
> an editing field.
>  
Also checkbox and radio-button-choice give problems. And even if these 
were the only cases, it is a bad idea to place _any_ widget next to an 
editable field. It is not sound to create a widget for witch 
widget-value-set will lead to errors. Somebody else's code might call 
widget-value-set!

IMO the manual should not bother the reader with unnecessary technical 
details. Instead it should tell the reader that an editable field is not 
allowed to be adjacent to a neighbouring widget. That is simpler and 
leads to sound code.