[Oberon] Re (2): A case in S3 Mail.Show.

[peter at easthope.ca]

From:	=?utf-8?Q?J=C3=B6rg?= <joerg.straube at iaeth.ch>
Date:	Sat, 14 Sep 2019 00:37:01 +0200
> The REPEAT/UNTIL loops through all lines in the ListGadget and only 
> selects (line.sel := TRUE) the line that corresponds to line 13 by 
> comparing the starting position of mail 13 to the „line.key“ 
> stored in the gadget. 

OK.

> The final Gadgets.Update() displays the change of the line selection.

OK, but the Mail.Panel isn't changed.  For example, suppose message 10 
is selected in the Mail.Panel; the line for message 10 is in reverse 
video.  The message itself can be displayed or not. Mail.Show 13 will 
leave the line for message 10 in the panel in reverse video.  

What harm can occur if Gadgets.Update(obj) is omitted?  Ie. the line list 
and the displayed message are left inconsistent.

Thanks,                                   ... Lyall E.

-- 
https://en.wikibooks.org/wiki/Medical_Machines
https://en.wikibooks.org/wiki/Oberon
Tel: +1 604 670 0140            Bcc: peter at easthope. ca