create snippet for task with workspace

oscarlevin / pretext-tools

MIT License

7 stars 8 forks source link

Closed rhinopotamus closed 2 months ago

rhinopotamus commented 2 months ago

Just like <exercise>, a <task> inside a <worksheet> can have the @workspace attribute, so I made a snippet for that.

oscarlevin commented 2 months ago

Nice!