[etoys-dev] changing the name and value-type of a user-defined variable

[Bert Freudenberg]

On 07.03.2012, at 18:04, Ricardo Moran wrote:

> 
> 
> On Wed, Mar 7, 2012 at 1:33 PM, Bert Freudenberg <bert at freudenbergs.de> wrote:
>> Oh, and we lost the ability to change the number of decimal places. Can only be set on new vars but not modified.
> 
> Yes, you can. It uses the same dialog. That's why I thought "modify <var>" would be a better name for the menu item, because in some cases (just number and point for now) we have more than just the name and type.

Ah my bad. I had looked at the modify dialog of a non-number ;)

- Bert -