You can edit the short description, so I'm demoting the issue. In canvas.cc, an empty Ravel's tooltip is populated according to what variable is attached to it. IIRC, this was because tooltip was an ordinary attribute. It has since been changed to a virtual function, so we can now magically display the variable name if the tooltip is empty. This will mean that copying the ravel will just copy an empty tooltip, not the automatically populated value.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
You can edit the short description, so I'm demoting the issue. In canvas.cc, an empty Ravel's tooltip is populated according to what variable is attached to it. IIRC, this was because tooltip was an ordinary attribute. It has since been changed to a virtual function, so we can now magically display the variable name if the tooltip is empty. This will mean that copying the ravel will just copy an empty tooltip, not the automatically populated value.
Ticket moved from /p/minsky/ravel/670/
Can't be converted: