<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 5/16/2024 1:15 AM, Sebastian Vintoñuke via Cuis-dev wrote:
<blockquote
cite="mid:CAMhKLpA2Njqa+qoUj0tWL3XVrXR0+zsi0zDTKNkNSdCCK-39Gw@mail.gmail.com"
type="cite">
<div dir="ltr">Hello, this is my first appearance here 🙂<br>
Any corrections, suggestions, etc are appreciated.<br>
<br>
<b>## Issue:</b><br>
Renaming a class category does not rename class extensions.<br>
<br>
<b>## Example:</b>
<div>I have a package named "Aconcagua".<br>
<span
id="gmail-docs-internal-guid-be3fc5cf-7fff-a84a-cff4-aa200c3494a7"><span
style="font-size: 11pt; font-family: Arial,sans-serif;
color: rgb(0, 0, 0); background-color: transparent;
vertical-align: baseline;">...</span></span><br>
<div><font color="#000000" face="Arial, sans-serif"><span
style="font-size: 14.6667px;"></span></font>The class
Number has an extension which is "*Aconcagua-Extensions",
meaning it belongs to the Aconcagua package.
<div>...<br>
</div>
<div>If I want to rename the package "Aconcagua" to
"Iguazu".</div>
<div>I would expect that class extensions belonging to that
package, for example "*Aconcagua-Extensions" of Number,
would also be renamed to "*Iguazu-Extensions".<br>
However, currently class extensions are not affected.<br>
<br>
<b>## My suggested changes:</b><br>
</div>
</div>
</div>
</div>
</blockquote>
<br>
Hi Sebastián,<br>
<br>
Thank you! Welcome to Cuis! I pushed a change to add you as a know
author of Cuis. This means it will remember your name when you enter
your initials.<br>
<br>
BTW, I had to approve this message manually, because you're not
subscribed to the list. Please do subscribe!<br>
<br>
Cheers,<br>
<pre class="moz-signature" cols="72">--
Juan Vuletich
cuis.st
github.com/jvuletich
researchgate.net/profile/Juan-Vuletich
independent.academia.edu/JuanVuletich
patents.justia.com/inventor/juan-manuel-vuletich
linkedin.com/in/juan-vuletich-75611b3
twitter.com/JuanVuletich</pre>
</body>
</html>