Thanks Mark, this looks great. I realize that the IDE font size is sometimes too small for a screen capture (especially for large displays, I guess...).

See here for a patch to change the fontsize if it can be of use (we should probably add a function to do it from the GUI).

14 days later