Hi Andreas.
Good to know it has proved useful. I had fun solving the problem but it was way harder than it should have been. And I've definitely warmed to the idea of having a textarea to define stdin - it could be very useful for non-interactive applications, e.g. in an algorithms course. I intend to make this sort of thing much easier. Sorry about the silly joke about your "poor students" (see edited version).
As highlighted by your question, the current data-stdin and data-files attributes aren't very useful. So my current plan for when I have a bit more time is to deprecate them both and add instead data-stdin-id and data-file-ids, which will specify the IDs of textarea elements to act as the sources of the text (dynamically of course).
“All problems in computer science can be solved by another level of indirection." - David Wheeler.
Thanks for leading me to what I hope is a significant improvement.
Richard
Good to know it has proved useful. I had fun solving the problem but it was way harder than it should have been. And I've definitely warmed to the idea of having a textarea to define stdin - it could be very useful for non-interactive applications, e.g. in an algorithms course. I intend to make this sort of thing much easier. Sorry about the silly joke about your "poor students" (see edited version).
As highlighted by your question, the current data-stdin and data-files attributes aren't very useful. So my current plan for when I have a bit more time is to deprecate them both and add instead data-stdin-id and data-file-ids, which will specify the IDs of textarea elements to act as the sources of the text (dynamically of course).
“All problems in computer science can be solved by another level of indirection." - David Wheeler.
Thanks for leading me to what I hope is a significant improvement.
Richard