Closed christianp closed 5 years ago
I think I have resolved this with pull request: https://github.com/numbas/editor/pull/443
Thanks! I've merged it in. For future reference: it makes my life easier if you create a separate branch for each pull request. That way, if you have more than one pull request open at once, I can merge them separately.
Okay, I will make sure to branch in the future.
On 17 Dec 2018, at 9:44 pm, Christian Lawson-Perfect notifications@github.com wrote:
Thanks! I've merged it in. For future reference: it makes my life easier if you create a separate branch for each pull request. That way, if you have more than one pull request open at once, I can merge them separately.
— You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.
I have a feeling I've recently done the opposite of what I'm about to propose: when the string rendering of a set is too long, the preview should instead say something like "set of N items", similar to how lists are displayed.