diff man/widget.texi @ 71051:bf1f0ff1e25e

(ewoc--insert-new-node): Use ewoc--refresh-node.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 29 May 2006 03:47:56 +0000
parents 11b616eddda4
children 381523fcc2fd e6bf73e43cf4
line wrap: on
line diff