Editing the strings associated with labels now involves changing the model as well as the view. The idea is this. When a label such as a VarLabel or StringLiteralLabel is created, it is created in an "open" state. Labels in open state are translated to HTML as INPUT elements so that the user can edit them. On hitting the return the string is updated and the label goes to the closed state, which means it is displayed in the normal way. Clicking (later double clicking) will change open the label again.
Editing the strings associated with labels now involves changing the model as well as the view. The idea is this. When a label such as a VarLabel or StringLiteralLabel is created, it is created in an "open" state. Labels in open state are translated to HTML as INPUT elements so that the user can edit them. On hitting the return the string is updated and the label goes to the closed state, which means it is displayed in the normal way. Clicking (later double clicking) will change open the label again.