With dev.17, on some pages pressing '\' to switch from
source to rendered display doesn't redisplay the rendered
page; the source continues to display until I press '^L'.

Example:  http://www.altavista.com.

-- gil
-- 
StorageTek
INFORMATION made POWERFUL

Reply via email to