Re: short's shortcomings

Hullo Cyril,
you wrote:

>Hi Frank, all,
>  
>
>...
>I see only one way to do this: add a comment to the rename clause...
>
>class    CLOCK
>inherit
>   COUNTER
>      rename
>         value as time -- the time o'clock
>      export {NONE}  all;
>             {ANY}  time;
>             {CLOCK_CONTROLLER}  increment
>      end
>end
>
>... then short should display
>time: INTEGER -- the time o'clock
>
>Did I understand correctly your request? If so, could you open a 
>SmartZilla request.
>  
>
Yes, your solution is just what's needed.  I will raise a request.

>I'll also try to take this into account in the brand new eiffeldoc tool.
>
>Best regards,
>--
>Cyril Adrian -- ALPLOG
>  
>
Thanks for your suggestion.  While this may seem a small thing, I'm sure 
the benefit to everyone using SmartEiffel will be great!
Regards
Frank Salter