[etoys-dev] changing the name and value-type of a user-defined variable
bert at freudenbergs.de
Wed Mar 7 13:03:46 EST 2012
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 -
More information about the etoys-dev