
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-3">

<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>

</head>

<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">

<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>I don't know that changing the name was really necessary here - though I'm open to hearing ideas/opinions.</span><br>

</p>

<div style="color: rgb(33, 33, 33);">

<div>

<div dir="ltr">><br>

>Most operations on a vector resize them - when they're intended to add things to it. So I think the "resizeAnd" prefix is unnecessary and should be >removed/reverted.</div>

<br>

Personally I like this new naming more, because it makes clear about what happens inside, but naming of things is a matter of taste first of all. May be "decompressTo" would sound better ? Though <span style="font-size: 12pt;">I think I am fine with just</span><span style="font-size: 12pt;">

 r</span><span style="font-size: 12pt;">emoving prefix </span><span style="font-size: 12pt;">if that</span><span style="font-size: 12pt;"> cause any</span><span style="font-size: 12pt;">

</span><span style="font-size: 12pt;">problems</span><span style="font-size: 12pt;">.</span></div>

<div><br>

</div>

<div>George.<br>

</div>

</div>

</body>

</html>