<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body text="#000000" bgcolor="#FFFFFF"> Hi Ken, Question, are the changes backward compatible? Hilaire <div class="moz-cite-prefix">Le 04/09/2024 à 23:02, ken.dickey--- via Cuis-dev a écrit : </div> <blockquote type="cite" cite="mid:63d4e36446e2cfe8ae42f130f7c39330@whidbey.com">Attached is a fileIn for adding padding to BoxedMorphs. </blockquote> <pre class="moz-signature" cols="72">-- GNU Dr. Geo <a class="moz-txt-link-freetext" href="http://gnu.org/s/dr-geo/">http://gnu.org/s/dr-geo/</a> <a class="moz-txt-link-freetext" href="http://gnu-drgeo.blogspot.com/">http://gnu-drgeo.blogspot.com/</a></pre> </body> </html>