[BLUEJ-654] Revisit behaviour of comma and backspace/delete in formal parameters
We need to decide what the right behaviour is; I'm not sure we have it right yet. For example, backspace at the start of a type deletes the entire previous parameter. That seems reasonable, but then consider what to do if someone puts a comma in the middle of the type. In this case we add a new parameter (which is sensible), but then it also seems reasonable to put the type content before the comma into the [name slot of the] previous parameter, like we do with type lists and actual parameters. But the end result is that pressing comma followed by backspace in a formal type slot are not the reverse of each other, which is probably quite surprising. So maybe backspace shouldn't delete the whole parameter? But do we then fold the content of the previous type AND name into the type slot of the remaining parameter?
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 4.0.0preview2