A few notes on this release:
* Text creation now asks for the size of the text, as promised.
* A bug in the trim command was solved. It was quite problematic
before, the undo was wrong, and you couldn't really do trim a second
time. It just didn't work. Well, it's fixed now, so don't worry about
* On the other hand, we found a bit of a problem with undoing a
rotation, but we expect to have ir fixed for 0.14.0. Anyway, it seems
quite less serious than with the trim bug, because it only happens
after the third rotation and only if you undo all of them up to the
creation of the rotated elements.
* A really neat new feature is the multi-commands. Well, they are not
new commands. They're the old commands, but they don't end. So after
creating a line, instead of just being done with it, you may create a
line immediately after, that starts at the point the previous one
ended. Copy-paste (co) has also turned multi, it lets you paste many
times. And finally with fillet, it is simpler. It just keeps asking
for the lines to be "filleted".
That's all for now.